作者carelai (风云人物)
看板PLT
标题[问题] lambda演算的水有多深？
时间Sun Nov 17 23:14:08 2013
很久以前根据一本入门书，自学过lambda calculus，觉得这东西也不是太难，
似乎稍花些气力就可以掌握全部，自己的一些想法还可以通过编程验证。
但是最近，听说lambda calculus的水其实很深，有些学者一辈子研究它都研究
不透，典型的就是英国牛津有些教授一直在专门做这个，所以我想问一下，lambda
calculus真的这么难吗？其中的内容这么丰富吗？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.86.96.153
1F：推 UncleHS:是哪本书呢？ 11/18 09:51
2F：推 jokester:程式语言理论 类型理论水非常深的样子 11/18 12:46
3F：→ jokester:简单看过入-Calculus and Combinators, an Introduction 11/18 12:49
4F：→ jokester:觉得各种变换和日常的程式语言关系不算大 11/18 12:50
5F：→ jokester:所以正在看入calculus和程式语言关系的书 11/18 12:51
6F：→ xcycl:Barendregt 写的 入-Calculus: Its Syntax and Semantics 11/22 11:50
7F：→ xcycl:想看大部头的砖块可以看看 11/22 11:51
8F：推 suhorng:里面应该也非常多有趣的东西XD 像不动点组合子 11/24 19:47
9F：→ suhorng:我之前上课听过的一些有趣议题: 11/24 19:48
10F：→ suhorng: 计算顺序 & normal form: Church-Rosser theorem 11/24 19:49
11F：→ suhorng: 一些类型理论 (然後还有 Curry-Howard correspondence) 11/24 19:49
12F：→ suhorng:还有像超多函数式语言(其实也不只函数式..)都是基於λ演算 11/24 19:50
13F：→ suhorng:的. 而他原本作为形式系统,应该就有很多可以研究的? 11/24 19:52