Also known as Fstar, F star, FStar
functional programming language inspired by ML and aimed at program verification
Official website
F*: A Proof-Oriented Programming Language
fstar-lang.org →Link to the official site · 25,395 chars · not written by Vinony
Wikidata facts
- Instance of
- source-to-source compiler
- Official website
- www.fstar-lang.org
Show 8 more facts
- operating system
- cross-platform
- influenced by
- Lean
- copyright license
- Apache Software License 2.0
- programming paradigm
- imperative programming
- source code repository URL
- github.com/FStarLang/FStar
- official blog URL
- fstarlang.github.io
- programmed in
- F#
- software version identifier
- 0.9.6.0
via Wikidata · CC0
Article · 日本語
F* (F スター) はプログラム検証を目的とした、MLに影響を受けた関数型プログラミング言語である。型システムには依存型、モナディックエフェクトの要素が組み込まれており、それによりプログラムの詳細な仕様を型で表現することができる。F*の型検査機はプログラムが仕様を満たすことをSMT solvingと手動証明を組み合わせて証明する。F*のプログラムはOCaml、F#、C言語に変換され実行される。
Abstract from DBpedia / Wikipedia · CC BY-SA