这篇文章介绍了几个小型有趣的编程语言项目，包括Hirrolot's CoC、Harrop MiniML、Algorithm W等，它们大多用OCaml或Haskell实现，功能涵盖解释器、类型检查器等，代码量在70到900行之间。

微型编程语言精选集

作者Taylor在个人博客中分享了一系列精巧的编程语言实现，这些项目以精简的代码量实现了丰富的语言特性。以下是核心内容的提炼：

语言特性实现参考表

| 功能特性 | 代码行数 | 依赖项 | 参考实现 | |---------------|--------|--------------------|--------------| | 整数运算 | ~50 | 解析器、代码生成 | MinCaml | | 闭包 | ~200 | 闭包转换、运行时 | MinCaml | | HM类型推断 | ~300 | 泛化、实例化 | Algorithm W | | 代数数据类型 | ~400 | 类型检查、运行时标记 | HaMLet | | 类型类 | ~2000 | 字典传递、实例解析 | MicroHs |

精选项目亮点

1. Hirrolot的CoC（70行OCaml）

   • 实现完整的构造演算，支持依赖类型编程

2. Harrop MiniML（100行OCaml）

   • 通过LLVM生成原生代码的极简ML编译器

3. Algorithm W（300行Haskell）

   • Hindley-Milner类型推断的经典教学实现

4. MinCaml（2000行OCaml）

   • 生成x86/SPARC代码，性能达GCC的2倍内

5. Ben Lynn编译器（2000行Haskell）

   • 通过20个自举阶段实现近Haskell98的功能

延伸阅读推荐

• 《Write You a Haskell》：从λ演算逐步构建Haskell子集
• 《ZINC实验》：OCaml字节码编译器的理论基础
• 《Elaboration Zoo》：200-800行的渐进式依赖类型检查实现

作者观点

这些项目展示了"小即是美"的哲学，如Iota语言仅用两个组合子实现图灵完备。作者特别指出尚未见到"微型Haskell"的实现，并持续开发自己的Scrapscript语言（1300行Python实现）。

注：原文中的详细项目表格和具体技术细节已压缩为代表性示例，完整列表可参考原博客链接。

以下是评论内容的总结：

1. 关于小型语言的复杂度

   • 观点：开发小型语言最困难的部分不是解析器，而是标准库和错误信息处理，实现良好的IDE体验也是重大挑战。
   • 引用："The hardest part with small languages isn't the parser, it's the standard library and error messages." (nimbus-hn-test)
   • 引用："Getting a helpful IDE experience in that footprint is a significant engineering challenge." (nimbus-hn-test)

2. 个人语言项目展示

   • Fluent语言（4K行代码，包含解析器、解释器、标准库等）
     • 引用："Fluent – 4K lines – including parser, interpreter, standard library, IDE, UI, docs, examples." (mlajtos)
   • Newt语言（7K行代码，具有多种高级特性）
     • 引用："My little language Newt is 7 kloc... Self-hosted, Compiles to javascript" (dunham)
   • SectorLISP（仅223行汇编代码）
     • 引用："Another crazy one is SectorLISP, 223 lines of asm" (lachlan_gray)
   • loon（Lisp方言）
     • 引用："loon is a lisp!" (ecto)
   • Admiran（基于Miranda的惰性函数式语言）
     • 引用："it's a pure, lazy functional language based upon Miranda" (taolson)
   • Smalltalk实现（语言小但类库庞大）
     • 引用："I've been playing with my own Smalltalk implementation... the class library is huge!" (Perenti)

3. 开发动机与目的

   • 多为学习目的或实验性质
     • 引用："it's mostly an exercise to learn how these things work" (dunham)
     • 引用："I'm just cutting out the middleman - and this allows it to do things Smalltalk normally doesn't." (Perenti)

注意：所有评论均无评分（None），因此无法评估认可度。总结保持了不同项目的平衡性，并保留了关键引用。