|
|
8 回复 | 直到 7 年前
|
1
24
如果你已经完成了维基百科的输入,请通过它的链接上网。 Structure and Interpretation of Computer Programs 做作业或阅读 the book . |
|
2
14
嗯,总是有 An Introduction to Lambda Calculus .我试过读几遍,但总是卡住了。我有一种烦躁的感觉,我已经知道了大部分这些东西,如果它是用Lisp/方案而不是数学来表示的话,我可能会更容易理解它。不过,你可能会有更好的运气:) |
|
|
3
10
我发现“ An introduction to Lambda Calculi for Computer Scientists “克里斯·汉金做得很好,但我只是把它用在一个班级上——在现实世界中没有用过:) alt text http://ecx.images-amazon.com/images/I/4165AQ4AF8L._SL500_AA240_.jpg |
|
|
4
5
尝试编写lambda微积分插入器,理想情况下是在函数语言中使用语言的内置语法,而不是通过解析器。这是一个令人惊讶的容易和一个很好的方法来改善你的感觉。 |
|
|
5
5
我最近从亚马逊买了一本书,书名是 "An Introduction to Functional Programming Through Lambda Calculus" 格雷格·迈克尔森。它更多地介绍了函数编程,还介绍了lambda微积分。第一印象很好。一本自给自足、易读的书。 Here ,您可以在PostScript中下载不带索引的免费版本。 |
|
|
6
5
我认为关于lambda微积分本身的参考仍然是 Barendregt's book . alt text http://ecx.images-amazon.com/images/I/41BRXJ7E7GL._SL500_AA240_.jpg 除此之外,它在很大程度上取决于你对lambda微积分的“部分”:打字?证明理论?术语重写?函数编程? 每一本书本身都是一个领域,我不知道有哪本书能涵盖这一切。 |
|
|
7
5
真正让我开始使用和理解lambda微积分的书是布莱克本和波士的《自然语言的表示和推理》。这是一本关于使用prolog进行自然语言处理的书。你可能会考虑的另一本书是艾伦的《自然语言理解》。最后,如果您喜欢lambda演算,您可能也会喜欢组合逻辑,因为组合器可以定义为lambda表达式。为此,我强烈推荐斯马尔扬的《猜谜书》,“模仿一只知更鸟”,最后他使用组合器构建了一种基本的编程语言。 |
|
|
8
2
下面是一个很好的解释(使用方案): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf 这里有一个漂亮的部分(来自我的博客),将递归阶乘简化为纯lambda: http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx 玩得高兴! |
推荐文章
|
Some · lambda演算中的列表元素和列表长度 8 年前 |
|
|
xuange · java8中的“流”是如何工作的? 8 年前 |
|
|
Eben Kadile · 在Haskell中如何解析撇号/字符文字? 8 年前 |
|
|
Andremoniy · Java 8 lambda和alpha等价 8 年前 |
|
|
softshipper · 溶解λ微积分 9 年前 |