编程与软件工程dev.stephendiehl.com
写一个 Haskell：从基本原理构建现代函数式编译器
Write You a Haskell: Building a modern functional compiler from first principles
2015 — 2017，它一次次回到首页
黑点是上首页（≥ 50 分）的那次投稿，空心点是没冲上去的投稿，点越大分数越高。
导读
这是 Stephen Diehl 编写的免费在线教程《Write You a Haskell》，从零开始讲解如何构建一个现代函数式语言的编译器，涵盖类型推断、单子等核心概念。它填补了面向命令式语言（如 C）的编译器教程之外的空白，专注于函数式语言的编译实现。
为什么经久不衰：它系统性地从第一性原理讲解函数式编译器构建，这类高质量免费资源极为稀缺，多年后仍是学习编译原理和 Haskell 的经典参考。
HN 评论精选
用单子重写经典类型推断算法，比无单子的原始版本更清晰易读
这非常有意思！市面上有大量针对 C 这类命令式语言的编译器教程，但函数式语言的很少。我读过 Simon Peyton Jones 的老书《The Implementation of Functional Programming Languages》，其中用 Miranda 实现了 Hindley-Milner 类型推断，没有用单子，而是用奇偶数分裂的巧妙技巧生成唯一临时类型名。我把该算法用 State 和 Error 单子重新实现了一遍，对比之下原版因为要在所有函数间传递整数列表而冗长难懂，单子版本清晰得多。这是我第一次非平凡地使用单子，写得很过瘾。
exDM69查看英文原文
Now this is very interesting! There are plenty of compiler writing tutorials for conservative, imperative programming languages with a straightforward static type system (like C). I did study a little bit of compilers for functional languages from Simon Peyton-Jones' old book "The Implementation of Functional Programming Languages" [0]. It predates the Haskell programming language and uses a contemporary research language called Miranda as the target as well as the "host" language. ... which brings me to another topic: Monads. The SPJ book has a few chapters on implementing a Hindley-Milner -style type inference algorithm. It's written in Miranda without any Monads and uses a clever trick for coming up with unique temporary type names. There's an infinite list of integers [0..], which is "split" when traversing the syntax tree so that the left branch of the recursion tree gets the even numbers and the right branch gets the odd numbers. The method works fine and is indeed very clever but try comparing that code to the same algorithm re-implemented (by me) with Monads (State and Error monads + transformer) [1]. The original algorithm is rather long and hard to follow (because lists of unique integers are passed to all functions). I had a blast writing this algorithm, and I wanted to share it. It's been a few years since I last worked with it. It was my first non-trivial use of monads and I really like how it turned out in the end. [0] http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/ [1] https://github.com/rikusalminen/funfun/blob/master/FunFun/TypeChecker.hs
补充了函数式编译器领域的经典书籍和论文资源
如果你对写函数式编译器感兴趣，我推荐 Christian Queinnec 的《Lisp In Small Pieces》和 Andrew Appel 的《Compiling with Continuations》。另外还有几篇好资源：Matt Might 的 CPS 转换文章、Cardelli 的基础类型检查论文、readscheme.org、SPJ 的 Spineless Tagless G-machine 论文等。
anaphor查看英文原文
I recommend Lisp In Small Pieces (LISP) by Christian Queinnec and Compiling with Continuations by Andrew Appel if you're interested in writing a functional compiler. Also: http://matt.might.net/articles/cps-conversion/ http://lucacardelli.name/Papers/BasicTypechecking.pdf http://library.readscheme.org/page1.html https://research.microsoft.com/pubs/67083/spineless-tagless-gmachine.ps.gz http://www.pipeline.com/~hbaker1/CheneyMTA.html
作者还写了另一本广受好评的 Haskell 学习资料
顺带一提，Stephen 也是《What I Wish I Knew When I Was Learning Haskell》的作者和维护者，无论对初学者还是稍有经验的程序员都是极好的资源。
kachnuv_ocasek查看英文原文
As a sidenote, Stephen is also the author/maintainer of "What I Wish I Knew When I Was Learning Haskell"[0] which is a great resource both for those who are learning and for slightly advanced programmers. [0] http://dev.stephendiehl.com/hask/
读者担心教程更新停滞，并推荐另一本 Haskell 入门书
这本书的开发似乎放缓或停滞了。作者还打算继续写下去吗？这个主题丰富有趣，我很希望能跟着读到结尾。另一本对我学 Haskell 很有帮助的书是《Haskell Programming from First Principles》。
Dangeranger查看英文原文
It seems that development on the book has slowed or halted. Is the author planning to continue? This sounds like a rich and interesting subject that I would enjoy following through to the end. Another book I've found helpful for Haskell is: Haskell Programming from First Principles (http://haskellbook.com/)
历次讨论
同类还值得读
开源应用架构
The Architecture of Open Source Applications
《开源软件架构》（AOSA）是一本在线免费书，邀请知名开源项目的作者亲自剖析其内部设计，涵盖 SQLAlchemy、LLVM、Audacity、Apache、Bash 等系统。
编程与软件工程上首页 9 次 · 2011–2024aosabook.org编辑精选编程语言简史：简短、不完整且多半错误
A Brief, Incomplete, and Mostly Wrong History of Programming Languages
一篇以戏谑、故意不准确的方式回顾编程语言史的博客文章，用夸张轶事和讽刺定义串起 Lisp、C、C++、Java、JavaScript、PHP 等语言。
编程与软件工程上首页 8 次 · 2009–2021james-iry.blogspot.comSQLite 是如何测试的
How SQLite is tested
SQLite 官方文档页，系统介绍 SQLite 的测试体系：多种测试方法（TCL 测试、模糊测试、回归测试、静态分析等）和海量测试用例，展示了这个小型开源项目如何靠极致测试获得…
编程与软件工程上首页 8 次 · 2009–2025sqlite.org编辑精选高级编程语言（2009）
Advanced programming languages (2009)
Matt Might 的经典文章，按用途推荐“高级编程语言”：如果追求就业就选主流语言，如果追求表达力、学术研究或创业，则推荐 Haskell、OCaml、Scala 等函数式语…
编程与软件工程上首页 8 次 · 2009–2022matt.might.net我的 Forth 与栈机器经历
Yosefk - My history with Forth & stack machines
作者以亲身经历回顾了使用 Forth 语言和栈式机器的历程：既赞叹其简洁优雅、代码量小、可自举的优点，也坦率指出栈操作在实际编程中的痛苦，以及 Forth 社区文化中的问题。
编程与软件工程上首页 8 次 · 2010–2024yosefk.com编辑精选