運算隨想

有關「運算究竟是什麼」的思考、實驗與記錄… XD

• lambda 隨想

  • Y Combinator
  • 代數資料型態
  • 頭尾成對
  • 是的！不是！
  • 未定義是值嗎？
  • 算術的編碼
  • 真的未定義？
  • 可以不要 let 嗎？
  • 簡單是非
  • 誰是微語言？
  • 不動點
  • 等價匿名函式？

• 圖靈隨想

  • 空想 Brainfuck
  • 打造 Brainfuck
  • Brainfuck 看輸入
  • Brainfuck 看狀態
  • Brainfuck 看規則
  • 特定機器
  • 通用機器
  • 停或不停？
  • 只能堆疊的機器
  • 沒有記憶的機器
  • 瞎猜的狀態機
  • 瞎猜的下推機
  • 外部神秘力量

參考資料

• 《深入理解運算原理》
• Lambda calculus