小さな関数型言語をLLVMにコンパイルする:簡単な電卓の例
2025-09-23
この記事では、小さな関数型言語をLLVMにコンパイルするプロセスを詳細に説明します。基本的な電卓言語から始めて、字句解析器、構文解析器、LLVMコードジェネレーターを段階的に構築します。この記事では、megaparsecライブラリを使用したパーシング、llvm-hs-pureとllvm-hs-prettyライブラリを使用したLLVM IRコードの生成、そして最終的なコンパイルと実行のプロセスを詳しく説明します。この例を通して、読者は関数型言語の特徴(パターンマッチングなど)をLLVM IRに変換する方法、そしてLLVMをコード生成とコンパイルにどのように使用するかを学ぶことができます。
続きを読む
開発
関数型言語