Haskellによる算術バイトコード仮想マシン：パーサー編

この記事では、Haskellで算術式のためのバイトコード仮想マシンを構築するプロジェクトの最初の部分、パーサーについて説明します。このVMは、letバインディングとネストされたlet式を含む単純な算術式を解析、コンパイル、解釈、実行します。作者は、式の文法、パーサーの実装（attoparsecライブラリを使用）、エラー処理を説明します。パーサーの正しさを検証するための単体テストが提示されています。ASTインタープリターの実装とテストの概要も含まれています。今後の投稿では、コンパイラと仮想マシンについて説明します。