函数式程序设计语言的实现

Hacker News 上怎么说

• arethuza · 2016 年

  ……早在 1980 年代，他在教我 lambda 演算方面就做得极好，而且当他解释 S 和 K 组合子时彻底吸引了我的注意。同一时期另一部极佳的著作是 Simon Peyton Jones 的《The Implementation of Functional Programming Languages》，网上有免费版本：http://research.microsoft.com/en-us/um/people/simonpj/papers... [编辑补充：我知道这是老作品了——但我真的很喜欢它！]

  …did a splendid job of teaching me about lambda calculus back in the 1980s and who really got my attention when he explained about S and K combinators. Another excellent work from that same time is The Implementation of Functional Programming Languages by Simon Peyton Jones which is available online for free: http://research.microsoft.com/en-us/um/people/simonpj/papers... [Edit: I know this is an old work - but I'm very fond of it!]

• benbataille · 2013 年

  虽然它不像 Pierce 的书那样完全专注于类型论（买他的书绝对亏不了），但我真的很喜欢 Peyton Jones 在《The Implementation of Functional Programming Languages》里关于类型的那部分（类型系统那几章是 Peter Hancock 写的）。它主要是从技术实现的角度来看的。这本书特别之处在于包含了一个解释得非常透彻的类型检查器实现。……

  While not being exactly about type theory like Pierce books (you can't waste your money on those), I really like the part about types in "The Implementation of Functional Programming Languages" by Peyton Jones (the chapters about type system are written by Peter Hancock). It's seen mostly from a technical point of view. The book notably contains a fully explained implementation of a type checker.…

• ffreire · 2017 年

  Simon Peyton Jones 的开山之作《Implementation of Functional Programming Languages》在绝版后现在可以免费获取了[0]。如果你还没读过，我强烈推荐去读读！[0]：https://www.microsoft.com/en-us/research/publication/the-imp...

  Simon Peyton Jones' seminal work "Implementation of Functional Programming Languages" is available free of charge now that it's out of print[0]. If you haven't read it yet I'd highly encourage it! [0]: https://www.microsoft.com/en-us/research/publication/the-imp...

• brmgb · 2019 年

  如果你对这个课题感兴趣，Simon Peyton Jones 的《The Implementation of Functional Programming Languages》实际上在他的微软研究院主页上免费提供：https://www.microsoft.com/en-us/research/publication/the-imp... 这本书真的写得太棒了。开篇就非常引人入胜……

  If you are interested in the subject, The Implementation of Functional Programming Languages by Simon Peyton Jones is actually freely available on his Microsoft Research page : https://www.microsoft.com/en-us/research/publication/the-imp... The book is really great. It starts with a very interesting…

• eru · 2010 年

  ……非常喜欢《Modern Compiler Design》（http://www.few.vu.nl/~dick/MCD.html）。他们也讲了函数式语言的实现。如果你已经知道怎么写 lexer 和 parser，Simon Peyton Jones 的《The Implementation of Functional Programming Languages》很值得一读。

  …really enjoyed "Modern Compiler Design" (http://www.few.vu.nl/~dick/MCD.html). They also talk about implementing functional languages. And if you already know how to write a lexer and a parser, "The Implementation of Functional Programming Languages" by Simon Peyton Jones is worth reading.

• exDM69 · 2011 年

  ……1970 和 1980 年代的语言研究，如今在主流编程语言中其实并没有怎么被应用。Simon Peyton-Jones 的书《The implementation of functional programming languages》很好地汇集了这批资料。纸质书可能绝版了（我们大学图书馆有一本），但网上能免费看，链接在这：http://research.microsoft.com/en-us/um/people/simonpj/papers... 值得注意的是，自打 Miranda……

  …language research in the 1970's and 1980's that is not really used in mainstream programming languages in these days. A good collection of this material can be found in Simon Peyton-Jones' book "The implementation of functional programming languages". Probably out of print (my uni library has one), but freely available on the net, here's the link: http://research.microsoft.com/en-us/um/people/simonpj/papers... It's worth to note that since the Miranda…

正在加载完整评论……