作者JustinHere (良葛格)
看板PLT
標題[心得] lambda 隨想
時間Sat Mar 17 17:32:27 2018
試著以逆向的方式，將自己對 lambda 演算的一些想法寫下來：
https://openhome.cc/Gossip/Computation/index.html
練習 lambda 演算、思考什麼是運算、獎品是門微語言…XD
https://gist.github.com/JustinSDK/f98d91c9b6d1f1746fb1bd902e498fde
--
良葛格學習筆記
http://openhome.cc
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 110.26.76.28
※ 文章網址: https://webptt.com/m.aspx?n=bbs/PLT/M.1521279151.A.424.html
1F：推 CoNsTaR: 先推 03/18 00:32
2F：→ CoNsTaR: 幫修正一下，代數資料型別是 Algebraic Data Type，Abstr 03/18 00:33
3F：→ CoNsTaR: act Data Type 是別的東西，雖然都叫 ADT 03/18 00:33
4F：→ JustinHere: 感謝，太常打 abstract …XD 03/18 16:49
5F：推 s5817790: 推推 03/18 22:24
6F：推 caasih: 推一個 03/19 06:12
7F：推 jayleeabc: 推 03/22 15:12
8F：→ JustinHere: 加入了圖靈隨想… 04/18 21:01
9F：推 CoNsTaR: 請問有打算寫 λ-calculus 的 Metaprogramming 嗎？ 04/23 12:47
10F：→ CoNsTaR: 例如 mogensen-scott encoding 之類的 04/23 12:48
11F：→ CoNsTaR: 最近剛好對這方面滿有興趣的 XDD 04/23 12:48
12F：→ JustinHere: 暫時沒有，倒是最近在研究怎麼寫門語言…XD 04/24 20:46