https://zoo.cuichen.cc/

Skip to content
Type Inference Zoo
Main Navigation HomePlaygroundReferenceResearch
 

Appearance

 

Type Inference Zoo

Explore with Type Inference Algorithms

Playground
Research
Github
[?]

Interactive Playground

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



Unified Syntax and Implementation

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



Friendly to Language Implementers

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

Released under the MIT License.

Copyright (c) 2025 Chen Cui