[心得] lambda 随想 JustinHere PTT批踢踢实业坊

[心得] lambda 随想

楼主: JustinHere (良葛格) 2018-03-17 17:32:27

试着以逆向的方式，将自己对 lambda 演算的一些想法写下来：
https://openhome.cc/Gossip/Computation/index.html
练习 lambda 演算、思考什么是运算、奖品是门微语言…XD
https://gist.github.com/JustinSDK/f98d91c9b6d1f1746fb1bd902e498fde

作者: CoNsTaR ((const *)) 2018-03-18 00:32:00

先推帮修正一下，代数资料型别是 Algebraic Data Type，Abstract Data Type 是别的东西，虽然都叫 ADT

楼主: JustinHere (良葛格) 2018-03-18 16:49:00

感谢，太常打 abstract …XD

作者: s5817790 (水粼粼) 2018-03-18 22:24:00

推推

作者: caasih 2018-03-19 06:12:00

推一个

作者: jayleeabc (TTP) 2018-03-22 15:12:00

推

楼主: JustinHere (良葛格) 2018-04-18 21:01:00

加入了图灵随想…

作者: CoNsTaR ((const *)) 2018-04-23 12:47:00

请问有打算写 λ-calculus 的 Metaprogramming 吗？例如 mogensen-scott encoding 之类的最近刚好对这方面满有兴趣的 XDD

楼主: JustinHere (良葛格) 2018-04-24 20:46:00

暂时没有，倒是最近在研究怎么写门语言…XDhttps://goo.gl/DNRwK8

继续阅读

[问题] 关于App的影片存放问题pp891190007 [问题] 如何使用dspic30F4011产生出SPWMIcelyz [问题]新手想找逻辑训练的方法alexgrace [问题] lingo程式语法问题请益goldcitywu Re: [讲者] 东京Lisp Community Organizer佐野先生Danielviolin [讲者] 东京Lisp Community Organizer佐野先生Danielviolin [问题] 为啥高阶语言的hello world跟机器无关?nnlisalive [征才] 征人写程式设计lmichaelv2 [问题] ASL语言问题k8378988 [问题] 分类资料的程式语言Nonplaner