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

[心得] lambda 隨想

看板PLT (程式語言與理論)作者 (良葛格)時間6年前 (2018/03/17 17:32), 編輯推噓5(5推 0噓 9→)
留言14則, 5人參與, 6年前最新討論串1/1
試著以逆向的方式，將自己對 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
推
03/18 00:32, 6年前 , 1F
先推
03/18 00:32, 1F
→
03/18 00:33, 6年前 , 2F
幫修正一下，代數資料型別是 Algebraic Data Type，Abstr
03/18 00:33, 2F
→
03/18 00:33, 6年前 , 3F
act Data Type 是別的東西，雖然都叫 ADT
03/18 00:33, 3F
→
03/18 16:49, 6年前 , 4F
感謝，太常打 abstract …XD
03/18 16:49, 4F
推
03/18 22:24, 6年前 , 5F
推推
03/18 22:24, 5F
推
03/19 06:12, 6年前 , 6F
推一個
03/19 06:12, 6F
推
03/22 15:12, 6年前 , 7F
推
03/22 15:12, 7F
→
04/18 21:01, 6年前 , 8F
加入了圖靈隨想…
04/18 21:01, 8F
推
04/23 12:47, 6年前 , 9F
請問有打算寫 λ-calculus 的 Metaprogramming 嗎？
04/23 12:47, 9F
→
04/23 12:48, 6年前 , 10F
例如 mogensen-scott encoding 之類的
04/23 12:48, 10F
→
04/23 12:48, 6年前 , 11F
最近剛好對這方面滿有興趣的 XDD
04/23 12:48, 11F
→
04/24 20:46, 6年前 , 12F
暫時沒有，倒是最近在研究怎麼寫門語言…XD
04/24 20:46, 12F
→
04/24 20:47, 6年前 , 13F
04/24 20:47, 13F
→
04/28 10:01, 6年前 , 14F
搬到 Github 了 https://goo.gl/UhrzfY
04/28 10:01, 14F
‣ 更多 JustinHere 的文章
文章代碼(AID): #1QhE2lGa (PLT)
PLT 近期熱門文章
更多 近期熱門文章 >>
PTT數位生活區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 JustinHere 的文章
文章代碼(AID): #1QhE2lGa (PLT)