3
F *（Fスターと発音）は、プログラムの検証を目的としたMLに似た関数型プログラミング言語です。型システムには、多型、依存型、単項効果、洗練型、および最も弱い前提条件計算が含まれます。これらの機能を組み合わせることで、機能の正確性プロパティなど、プログラムの正確でコンパクトな仕様を表現できます。F *型チェッカーは、SMT解法と手動校正の組み合わせを使用して、プログラムが仕様を満たしていることを証明することを目的としています。F *で書かれたプログラムは、実行のためにOCamlまたはF＃に変換できます。
f-
ウェブサイト:
https://www.fstar-lang.orgカテゴリー
MacのF*の代替
17
F# (programming language)
F＃は、.NET向けの簡潔で表現力豊かで効率的な機能指向およびオブジェクト指向言語であり、複雑な問題を解決するための簡単なコードを作成するのに役立ちます。
5
2
1
