F*

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> ()

• Offisielt nettsted
• (en) Offisiell blogg
• Rise4Fun: F* Arkivert 20. juli 2011 hos Wayback Machine.
• Offisiell F* side