PTT數位生活區 / PLT (程式語言與理論)

[問題] lambda演算的水有多深？

看板PLT (程式語言與理論)作者 (風云人物)時間11年前 (2013/11/17 23:14), 編輯推噓3(3推 0噓 10→)
留言13則, 4人參與, 最新討論串1/2 (看更多)
很久以前根據一本入門書，自學過lambda calculus，覺得這東西也不是太難， 似乎稍花些氣力就可以掌握全部，自己的一些想法還可以通過編程驗證。 但是最近，聽說lambda calculus的水其實很深，有些學者一輩子研究它都研究 不透，典型的就是英國牛津有些教授一直在專門做這個，所以我想問一下，lambda calculus真的這么難嗎？其中的內容這么豐富嗎？ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.86.96.153
推
11/18 09:51, , 1F
是哪本書呢？
11/18 09:51, 1F
推
11/18 12:46, , 2F
程式語言理論 類型理論水非常深的樣子
11/18 12:46, 2F
→
11/18 12:49, , 3F
簡單看過入-Calculus and Combinators, an Introduction
11/18 12:49, 3F
→
11/18 12:50, , 4F
覺得各種變換和日常的程式語言關系不算大
11/18 12:50, 4F
→
11/18 12:51, , 5F
所以正在看入calculus和程式語言關系的書
11/18 12:51, 5F
→
11/22 11:50, , 6F
Barendregt 寫的 入-Calculus: Its Syntax and Semantics
11/22 11:50, 6F
→
11/22 11:51, , 7F
想看大部頭的磚塊可以看看
11/22 11:51, 7F
推
11/24 19:47, , 8F
裡面應該也非常多有趣的東西XD 像不動點組合子
11/24 19:47, 8F
→
11/24 19:48, , 9F
我之前上課聽過的一些有趣議題:
11/24 19:48, 9F
→
11/24 19:49, , 10F
計算順序 & normal form: Church-Rosser theorem
11/24 19:49, 10F
→
11/24 19:49, , 11F
一些類型理論 (然後還有 Curry-Howard correspondence)
11/24 19:49, 11F
→
11/24 19:50, , 12F
還有像超多函數式語言(其實也不只函數式..)都是基於λ演算
11/24 19:50, 12F
→
11/24 19:52, , 13F
的. 而他原本作為形式系統,應該就有很多可以研究的?
11/24 19:52, 13F
‣ 更多 carelai 的文章
文章代碼(AID): #1IYDr2ZY (PLT)
PLT 近期熱門文章
更多 近期熱門文章 >>
PTT數位生活區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 carelai 的文章
文章代碼(AID): #1IYDr2ZY (PLT)