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

Example of PhantomType

Typesafe Github GraphQL API client.

This Is Not The Configuration Talk You Are Looking For

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

Typesafe Github GraphQL Client

Generic programming for Scala

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