F*
Hopp til navigering
Hopp til søk
Denne artikkelen inneholder en liste over kilder, litteratur eller eksterne lenker, men enkeltopplysninger lar seg ikke verifisere fordi det mangler konkrete kildehenvisninger i form av fotnotebaserte referanser. Du kan hjelpe til med å sjekke opplysningene mot kildemateriale og legge inn referanser. Opplysninger uten kildehenvisning i form av referanser kan bli fjernet. Se mal:referanseløs for mer informasjon. |
F* | |||
---|---|---|---|
![]() | |||
Paradigme | Dependently typed programming | ||
Typetildeling | inferens, sterk | ||
OS | multiplattform | ||
Lisens | Apache-lisensen | ||
Påvirket av | |||
F Sharp, Objective Caml, Standard ML |
F*, også skrevet Fstar, er et ML-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.
Eksempel[rediger | rediger kilde]
Følgende eksempel er kode skrevet i F*:
module Hello
type zero = x:int{x=0}
let fail = assert<0=1> ()