Storyyeller/polysubml-demo
A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
2 best points · 0 comments · 2 Hacker News posts · 71 GitHub stars · View on GitHub
Hacker News discussions
- Polysubml-demo: A simple ML-like language with subtyping, polymorphism, higher (2 points, 0 comments, by todsacerdoti, 2025-02-07)
- PolySubML: A simple ML-like language with subtyping, polymorphism, higher rank t (1 points, 0 comments, by fanf2, 2025-03-11)