Typechecker Zoo
8 days ago
- #rust
- #type-systems
- #programming-languages
- Project to create minimal implementations of successful static type systems from the last 50 years.
- Implementations will be in Rust, chosen for its parser ecosystem and ease of installation.
- Focus on practical implementation details rather than theoretical depth.
- Includes toy implementations of Algorithm W, System F, System F-ω, and Calculus of Constructions.
- Uses Rust libraries like larlpop, logos, and ariadne for parsing and testing.
- Project is MIT licensed and open for contributions on GitHub.