作者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