F* (プログラミング言語)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/06/11 08:34 UTC 版)
F* (F スター) はプログラム検証を目的とした、MLに影響を受けた関数型プログラミング言語である。型システムには依存型、モナディックエフェクトの要素が組み込まれており、それによりプログラムの詳細な仕様を型で表現することができる。F*の型検査機はプログラムが仕様を満たすことをSMT solvingと手動証明を組み合わせて証明する。F*のプログラムはOCaml、F#、C言語に変換され実行される。
- 1 F* (プログラミング言語)とは
- 2 F* (プログラミング言語)の概要
- F* (プログラミング言語)のページへのリンク