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*
ParadigmeMulti-paradigme: Funksjonell programmering, imperativ programmering
Utviklet avMicrosoft 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
OSmultiplattform
LisensApache 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.

Eksempel

Følgende eksempel er kode skrevet i F*: 

module Hello

type zero = x:int{x=0}

let fail = assert<0=1> ()

Eksterne lenker

Autoritetsdata
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.
Kategori