通过 Lambda 演算学函数式编程

Hacker News 上怎么说

• e19293001 · 2018 年

  对于想搞懂 lambda calculus 的人，我强烈推荐 Greg Michaelson 写的《An Introduction to Functional Programming Through Lambda Calculus》[0]。读完这本书后，我可以保证，即使你习惯了命令式编程语言，你的大脑也会适应函数式编程范式。函数式……

  For those who want to grok lambda calculus, I would highly recommend "An Introduction to Functional Programming Through Lambda Calculus" book by Greg Michaelson[0]. After going through the book, I could say that you're brain will adapt the functional programming paradigm if you are used to the imperative programming language. Functional…

• waffle_ss · 2013 年

  有一本 Dover Publications 出版的编程书我真的很喜欢：《An Introduction to Functional Programming Through Lambda Calculus》[1]。读到现在非常受启发，虽然是 1989 年的重印本，但除了用到的某些语法规范（比如全大写的变量/函数名）之外，读起来一点也不觉得过时。书后的参考书目……

  There’s an actual Dover Publications programming book that I really enjoy: "An Introduction to Functional Programming Through Lambda Calculus" [1]. So far it’s been enlightening, and even though it’s a 1989 reprint it doesn’t feel all that aged except for some of the semantics used (e.g. ALL_CAPS variable/function names). The bibliography…

• eric_bullington · 2016 年

  ……http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hind... 1. https://github.com/alehander42/hermetic 2. https://github.com/billpmurphy/hask 3. http://andrej.com/plzoo/ 编辑：哦对，还有一个超级有用的资源，是 Michaelson 写的《Introduction to Functional Programming through Lambda Calculus》。买这本书绝对物超所值。

  …http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hind... 1. https://github.com/alehander42/hermetic 2. https://github.com/billpmurphy/hask 3. http://andrej.com/plzoo/ Edit: Oh, and one more resource that's been extremely helpful has been "Introduction to Functional Programming through Lambda Calculus" by Michaelson. Well worth the cost of the book.

• e19293001 · 2020 年

  先学 lambda calculus。Greg Michaelson 写的书《An Introduction to Functional Programming Through Lambda Calculus》。神奇的是它出版于 31 年前（1989年），这足以证明它是一本经得起时间考验的必读之作。在讨论里已经被引用过好几次了：https://news.ycombinator.com/item?id=6093386……

  Study lambda calculus first. An Introduction to Functional Programming Through Lambda Calculus Book by Greg Michaelson It's amazing it was published 31 years ago (1989) which shows that it's a timeless book to read. This has been referenced from discussions a couple of times: https://news.ycombinator.com/item?id=6093386…

• arisbe__ · 2022 年

  Greg Michaelson 写的《An Introduction to Functional Programming Through Lambda Calculus》把 lambda calculus 讲得非常透彻。关于组合子（combinators），著名的入门书是 Raymond Smullyan 的《To Mock a Mockingbird》的后半部分。

  An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson really spells out the lambda calculus. Regarding combinators the famous intro is the latter half of Raymond Smullyan's To Mock a Mockingbird.

• gnosis · 2009 年

  同类方向还有一本更全面而且免费的书：《An Introduction to Functional Programming Through Lambda Calculus》http://www.macs.hw.ac.uk/~greg/books/gjm.lambook88.ps。另外还有这本：Henk Barendregt 和 Erik Barendsen 写的《Introduction to Lambda Calculus》http://citeseer.ist.psu.edu/barendregt94introduction.html

  A much more thorough, free book along similar lines is: "An Introduction to Functional Programming Through Lambda Calculus" http://www.macs.hw.ac.uk/~greg/books/gjm.lambook88.ps There's also this: "Introduction to Lambda Calculus" by Henk Barendregt , Erik Barendsen http://citeseer.ist.psu.edu/barendregt94introduction.html

正在加载完整评论……