Phantom types for Python.

A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally

Type-level rational puzzles in OCaml

Experimental API for Reads and Writes protected via Phantom types

Trivial monad transformer that allows identical monad stacks have different types

Multiple typeclass instances, selected by explicit application of a phantom type parameter

Create types that respect the invariant. "Parse, don't validate"

Example of PhantomType

Typesafe Github GraphQL API client.

This Is Not The Configuration Talk You Are Looking For

Typesafe Github GraphQL Client

A functional, type-safe framework for executing Linux commands from Scala programs.

Code examples used in my talk "This Is Not The Configuration Talk You Are Looking For"

In this project, we are trying to demonstrate the power of phantom types. Based on a class custom type, we show how we could handle generic bank transfers to local account (USD to USD) and specific transfers (USD to EUR) while adding type-checks at compile time.

https://stackoverflow.com/questions/74384745/encoding-decoding-a-field-with-any-datatype-assigned-with-value-none-in-scala

Generic programming for Scala

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.