F*

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk
F*
Fstar-official-logo-2015.png
ParadigmeDependently typed programming
OSmultiplattform
LisensApache-lisensen
Innflytelse 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> ()

Eksterne lenker[rediger | rediger kilde]

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