高速算術バイトコードVM（第2部）：Haskellにおけるコンパイラとデコンパイラ

この投稿は、Haskellにおける算術式のための高速バイトコード仮想マシンのコンパイラとデコンパイラについて詳述するシリーズ記事の第2弾です。AST解釈よりもバイトコードの方がなぜ高速なのかを説明し、スタックベースのバイトコード仮想マシンを設計し、Num、BinOp、Var、LetというASTノードのバイトコード命令を概説します。コンパイラは、堅牢なエラー処理とともに、事前に割り当てられたバイト配列とポインタ操作を使用してパフォーマンスを最適化します。さまざまなデータ構造と制御フローを比較したパフォーマンスベンチマークを示します。最後に、デバッグとテストを支援するためにデコンパイラを実装します。