[心得] 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