作者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/cn.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