Storyyeller/1subml

The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial application), recursive types, worst-case polynomial time type checking and much more.

2 best points · 0 comments · 1 Hacker News post · 61 GitHub stars · View on GitHub

Hacker News discussions

• The 1SubML Programming Language (2 points, 0 comments, by fanf2, 2026-04-03)