[心得] lambda 隨想

看板PLT (程式語言與理論)作者 (良葛格)時間6年前 (2018/03/17 17:32), 編輯推噓5(509)
留言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
文章代碼(AID): #1QhE2lGa (PLT)
文章代碼(AID): #1QhE2lGa (PLT)