Implementing functional languages: a tutorial
目前最权威的介绍纯函数语言编译器的书，应当还算是Simon Peyton Jones 1987年著的The Implementation of Functional Programming Languages。那时Haskell还没有定型，所以是基于Miranda的。
SPJ在1992年又与David Lester合著了一本Implementing functional languages: a tutorial。这本书的广度和深度都不及上本书，但这本书好在它手把手的教给读者如何实现。Kevin Hammond把原书用Haskell实现了一遍，但从Makefile来看，源码并未完全公开，练习的答案应该是只向教师公开的。
- 要发表评论，请先登录
- 阅读全文
- 278 次阅读
OCaml 3.11 正式发布
From caml-list:
Dear OCaml users,
It is our pleasure to celebrate the 51st birthday of Eric S. Raymond by releasing OCaml version 3.11.0.
This release brings you many bug fixes and a few much-wanted features such as dynamic linking in native code (not available on all architectures, though). See below for the complete list of changes from the previous version.
It is available here
关于List模块的非tail recursive函数
经常看到有抱怨说标准库的这个那个函数不是尾递归的，看了一下List模块，感觉还好。map什么的都有个rev_map的尾递归伙伴，但有些函数觉得可以很容易地写成尾递归却没有这么做，比如mem, for_all, exists什么的，不禁有点奇怪。是core team觉得这无关紧要吗？
- 13 条评论
- 380 次阅读
程序语言 A - Z
Computerworld 有一个系列叫做“程序语言 A - Z”，对一些有广泛影响的程序语言的设计者进行访谈。目前已经做了十几集，而且还在进行当中，我们将关注并持续更新这里的链接。
简体中文
English