F* | |||
---|---|---|---|
![]() | |||
Paradigme | Multi-paradigme: Funksjonell programmering, imperativ programmering | ||
Utviklet av | Microsoft Research, INRIA | ||
Siste versjon(er) | 0.9.0, 0.9.1, 0.9.1.1, 0.9.4.0, 0.9.5.0, 0.9.6.0 | ||
Typetildeling | inferens, sterk, dependent typing, statisk, refinement typing | ||
OS | multiplattform | ||
Lisens | Apache License 2.0 | ||
Implementert i | |||
F Sharp | |||
Påvirket av | |||
F Sharp, Objective Caml, Standard ML, Dafny, Lean |
F*, også skrevet Fstar, er et MetaLanguage-basert språk som er utviklet hos Microsoft Research. F* er sterkt inspirert av F#, et funksjonelt programmeringsspråk også utviklet av Microsoft Research ved Cambridge. Språket er avhengig av eksisterende typer og egner seg spesielt til verifisering av kode som foretar seg distribuerte kalkulasjoner.
Følgende eksempel er kode skrevet i F*:
module Hello
type zero = x:int{x=0}
let fail = assert<0=1> ()