1SubML is an experimental ML-like language featuring a unified module/value system, structural subtyping, and advanced type system capabilities including higher-rank polymorphism and polynomial-time type checking. It offers a web playground for immediate experimentation and represents a significant exploration in programming language design.
Background
ML-family languages are known for strong static typing and functional programming features, with ongoing research into more expressive and efficient type systems. New experimental languages often explore trade-offs between expressivity, safety, and performance.
- Source
- Lobsters
- Published
- Apr 3, 2026 at 12:54 PM
- Score
- 7.0 / 10