F*

F*

F * je funkční programovací jazyk typu ML zaměřený na ověření programu.F * může vyjadřovat přesné specifikace programů, včetně funkčních vlastností správnosti.Programy napsané v F * mohou být přeloženy do OCaml nebo F # pro provedení.
F * (vyslovená hvězdička F) je funkční programovací jazyk typu ML zaměřený na ověření programu.Jeho typový systém zahrnuje polymorfismus, závislé typy, monadické efekty, zdokonalené typy a nejslabší počet předpokladů.Tyto funkce společně umožňují vyjádření přesných a kompaktních specifikací programů, včetně vlastností funkční korektnosti.Cílem kontroly typu F * je prokázat, že programy splňují jejich specifikace pomocí kombinace řešení SMT a manuálních důkazů.Programy napsané v F * mohou být přeloženy do OCaml nebo F # pro provedení ....

Webová stránka:

Funkce

Kategorie

Alternativy F* pro BSD

F# (programming language)

F# (programming language)

F # je výstižný, expresivní a efektivní funkční a objektově orientovaný jazyk pro .NET, který vám pomáhá psát jednoduchý kód pro řešení složitých problémů.
OCaml

OCaml

OCaml je průmyslový programovací jazyk podporující funkční, imperativní a objektově orientované styly.