Type Inference Zoo

Explore with Type Inference Algorithms

🕹️

Interactive Playground

Try out type inference examples and explore various algorithms directly in the browser. Hands-on experience made simple.

🧩

A consistent syntax across multiple type inference algorithms—no need to waste time building new parsers or pretty printers.

👩‍💻

Code is probably less ambiguous than the notation used in the paper and more approachable.