F7

F＃プログラミング言語のための強化されたTypeChecker
今すぐダウンロード

F7 ランキングとまとめ

広告

  • Rating:
  • ライセンス:
  • Freeware
  • 出版社名:
  • Microsoft Research
  • オペレーティングシステム:
  • Windows 2K / XP / Vista / 7
  • ファイルサイズ:
  • 3.2 MB

F7 タグ


F7 説明

F7はF＃プログラミング言語のための強化型ティンケッカーであるように開発されました。 F7は、改良型で表されるプロパティの静的チェックをサポートします。私たちのモチベーションは、入力によってF＃実装コードのさまざまなセキュリティプロパティをチェックすることです。 F7 TypeCheckerを使用すると、プログラマはf＃で書かれたプログラムのために静的なタイプを表現し静的にチェックすることができます。 TypeCheckerの現在の実装はF＃のサブセットのみをサポートし、特定の慣用句に従って型注釈が提供されている場合に最適に機能します。 TypeCheckerを使用するには、プログラマーは各F＃モジュールのF7インターフェイスをXプログラムの各F7インターフェイスを定義する必要があります。 F7インターフェイスには、通常のF＃インターフェイスと区別するためのSU FFI X .FS7があります（それはSU FFI X.FSIを持っています）。 F＃型システムの外側にある型を含めることができます。 F＃モジュールにはSU FFI X .FSがあり、不正なF＃コードが含まれています。現在のアプローチでは、F7インタフェースにすべての再ネムメント型注釈を付けなければなりません。 F7インタフェースM.FS7を持つF＃モジュールM.FSを考えると、TypeCheckerは2つの方法で呼び出すことができます。まず、すべての再設定を消去することでF＃Interface M.FSIを生成するために-genfsi fl AGで呼び出すことができます。 f7.exe -genfsi m.fs7 次に、M.FS7で宣言された型に対してM.FSをTypeCheckに呼び出すことができます。 f7.exe m.fs7 m.fs. 一般に、これらのコマンドラインには、すべてのライブラリモジュールのインタフェースを含む、一連のF＃モジュールとF7インターフェイスが含まれます。 Pervasives.fs7と呼ばれる特別なライブラリー・インターフェースは、整数、文字列、ブール値、リストなどの一般的なf＃型、算術演算や論理接続などの共通の演算子を宣言しています。このライブラリは、プログラムが使用する必要があるF＃演算子を含むように拡張できます。


F7 関連ソフトウェア

私たちに関しては