[心得] lambda 隨想

[JustinHere (良葛格)]

試著以逆向的方式，將自己對 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://www.ptt.cc/bbs/PLT/M.1521279151.A.424.html
推 CoNsTaR: 先推
→ CoNsTaR: 幫修正一下，代數資料型別是 Algebraic Data Type，Abstr
→ CoNsTaR: act Data Type 是別的東西，雖然都叫 ADT
→ JustinHere: 感謝，太常打 abstract …XD
推 s5817790: 推推
推 caasih: 推一個
推 jayleeabc: 推
→ JustinHere: 加入了圖靈隨想…
推 CoNsTaR: 請問有打算寫 λ-calculus 的 Metaprogramming 嗎？
→ CoNsTaR: 例如 mogensen-scott encoding 之類的
→ CoNsTaR: 最近剛好對這方面滿有興趣的 XDD
→ JustinHere: 暫時沒有，倒是最近在研究怎麼寫門語言…XD
→ JustinHere: https://goo.gl/DNRwK8
→ JustinHere: 搬到 Github 了 https://goo.gl/UhrzfY