/
回 OPENHOME 首頁
非關語言: 運算隨想
運算隨想就是隨想運算.... XD
lambda 隨想
逆向拆解....能多接近 lambda 演算？
Y Combinator
初入 lambda 演算
頭尾成對
是的！不是！
未定義是值嗎？
算術的編碼
真的未定義？
可以不要 let 嗎？
簡單是非
誰是微語言？
拖延的 Y
等價匿名函式？
圖靈隨想
要拿掉哪些功能....電腦才會變笨？
空想 Brainfuck
打造 Brainfuck
單磁帶？
狀態轉移
簡單規則
打造特定機器
通用機器
停或不停？
只能堆疊的機器
沒有記憶的機器
瞎猜的狀態機
瞎猜的下推機
外部神秘力量
參考資料
《
深入理解運算原理
》
〈
Lambda calculus
〉
