F*

Fra Wikipedia, den frie encyklopedi
Jump to navigation Jump to search

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. Ifølge Microsoft har F* blitt brukt til å verifisere over 20.000 linjer med kode internt.

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.