System Fは、プロトタイプをプログラミングするときに型について単純に推論する優れた方法です。自分で実装する以外に、既存の実装を使用したいと考えています。
実装を探しているとき、何もないように見えます-そして、私にはその理由がわかりません.
私の質問は次のとおりです。System F の正規の実装とは何ですか?
1 に答える
1
BC Pierce による「Types and Programming Languages 」の本は、(とりわけ) OCaml での型付きラムダ計算の実装を提供し、議論することで有名です。
この本は System F の実装を提供し、第fullpoly25 章で実装の詳細を説明します。fullpolysimplebool
これらのタイプチェッカーとインタープリターをビルドして実行するための手順は、こちらにあります。
于 2016-07-06T13:06:34.057 に答える