HackerNews

算術のための高速バイトコードVM:仮想マシン

A Fast Bytecode VM for Arithmetic: The Virtual Machine

https://abhinavsarkar.net/posts/arithmetic-bytecode-vm/


このシリーズの記事では、Haskellを用いて算術演算用の高速バイトコードコンパイラと仮想マシン(VM)を作成します。重要なテーマとして、算術式の解析を行い、抽象構文木(AST)を生成すること、ASTの解釈、ASTをバイトコードにコンパイルすること、さらにはバイトコードの逆アセンブルや逆コンパイルが含まれています。また、コンパイラのユニットテストやプロパティベースのテストを実施し、VMにおけるバイトコードの効率的な実行と、パフォーマンスを考慮しながらコードのベンチマークを行います。最終的な投稿では、自作のバイトコードを実行するためのVMを構築し、そのパフォーマンスを評価します。このようにして、算術表現を処理するための強力なツールを開発する過程を探求しています。