Type Inference Zoo
a year ago
- #programming
- #type inference
- #developer tools
- Interactive Playground allows trying out type inference examples and exploring algorithms directly in the browser.
- Unified Syntax and Implementation provides a consistent syntax across multiple type inference algorithms, saving time on building new parsers or pretty printers.
- Friendly to Language Implementers with code that is less ambiguous than paper notation and more approachable.