Books

IN THE WHITEEARTH JOURNAL.

IMPLEMENTING LAMBDA CALCULUS

技術書典5に出展します．どうぞよしなに，よろしくおねがいします．

Details

本書はラムダ計算の処理系の実装を通じて，コンパイラ技術を学ぼう， という感じの内容になる予定です．扱う内容はたぶんつぎのような感じ．

• x64 コード生成
• Mark & Sweep GC
• Krivine Machine
• 遅延評価 (call-by-name)
• 型推論
• let 多相
• クロスコンパイル
• 分割コンパイル
• FFI

本書で実際に実装する処理系は Lambといいます． それぞれの章のサンプルコードも兼ねていますので，実用性よりは，コンパクトで読みやすい実装を目指しています． ソースコードはつぎの GitHub リポジトリから入手できます．

• wejournal/lamb https://github.com/wejournal/lamb