TaPL in F#

型システム入門 -プログラミング言語と型の理論- (Types And Programming Languages)のサンプルプログラムをF#で実装したものです。

環境

F# 3.0 (Visual Studio Express 2012 for Webなど) FParsec 1.0.1 (NuGetでインストール)

プロジェクト構成

1. arith (第4章 算術式のML実装)
2. untyped (第7章 ラムダ計算のML実装)
3. tyarith (第8章 型付き算術式)
4. simplebool (第10章 単純型のML実装)
5. fullsimple (第11章 単純な拡張)

ファイル構成

• Main.fs

• Core.fs

• Parser.fs
  • パーサ
• Ast.fs
  • 抽象構文木