F*

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk
F*
Fstar-official-logo-2015.png
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 types, 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[rediger | rediger kilde]

Følgende eksempel er kode skrevet i F*:

module Hello

type zero = x:int{x=0}

let fail = assert<0=1> ()

Eksterne lenker[rediger | rediger kilde]

Haskell-logo.pngDenne programmeringrelaterte artikkelen er foreløpig kort eller mangelfull, og du kan hjelpe Wikipedia ved å utvide den.