Lil' Fun Langs
6 days ago
- #type-systems
- #compilers
- #programming-languages
- 小型编程语言实现的概述，包含其代码行数(LOC)、宿主语言、特性与目标平台。
- 重点特性包括Hindley-Milner类型推断、代数数据类型、模式匹配和闭包。
- 著名实现案例：Hirrolot的CoC（约70行OCaml）、Harrop MiniML（约100行OCaml）、Algorithm W（约300行Haskell）、THIH（约429行Haskell）。
- 特色项目：Simple-sub的代数子类型系统、EYG的行类型推断、Grace的JSON超集语法。
- 较大规模项目如MinCaml（约2,000行OCaml）和MicroHs（1.5-3万行Haskell/C）展示了高级功能。
- 学习资源推荐：《用Haskell写个编译器》《实现函数式语言》《ML现代编译器实现》。
- 创新实现案例：Hackett（Racket宏系统）、Scrapscript（内容可寻址编程）因其独特方法而突出。