Lil' Fun Langs
5 hours ago
- #type-systems
- #compilers
- #programming-languages
- Overview of small programming language implementations with their LOC, host languages, features, and targets.
- Key features like Hindley-Milner type inference, algebraic data types, pattern matching, and closures are highlighted.
- Notable implementations include Hirrolot's CoC (~70 LOC OCaml), Harrop MiniML (~100 LOC OCaml), Algorithm W (~300 LOC Haskell), and THIH (~429 LOC Haskell).
- Special mentions for unique features: Simple-sub's algebraic subtyping, EYG's row-typed inference, and Grace's JSON superset.
- Larger projects like MinCaml (~2,000 LOC OCaml) and MicroHs (~15–30K LOC Haskell/C) demonstrate advanced capabilities.
- Resources for learning include 'Write You a Haskell', 'Implementing Functional Languages', and 'Modern Compiler Implementation in ML'.
- Unique implementations like Hackett (Racket macros) and Scrapscript (content-addressable) stand out for their innovative approaches.