3
F * (izgovara se F zvijezda) je funkcionalni programski jezik sličan ML-u usmjeren na provjeru programa.Njegov tip tipova uključuje polimorfizam, ovisne tipove, monadičke učinke, vrste usavršavanja i račun najslabijeg preduvjeta.Zajedno, ove značajke omogućuju izražavanje preciznih i kompaktnih specifikacija za programe, uključujući svojstva funkcionalne ispravnosti.Cilj provjere tipa F * pokušava dokazati da programi zadovoljavaju njihove specifikacije pomoću kombinacije SMT rješavanja i ručnih dokaza.Programi napisani na F * mogu se prevesti u OCaml ili F # za izvršenje ....
f-
Web stranica:
https://www.fstar-lang.orgZnačajke
Kategorije
Alternativa F*u za BSD
17
F# (programming language)
F # je sažet, ekspresivan i učinkovit funkcionalan i objektno orijentiran jezik za .NET koji vam pomaže napisati jednostavan kod za rješavanje složenih problema.