F*: Forskjell mellom sideversjoner
Hopp til navigering
Hopp til søk
m (bot: Bytter ut tematiske stubbmaler med {{stubb}}) |
(Ingen forskjell)
|
Sideversjonen fra 23. nov. 2023 kl. 00:57
 | Referanseløs: 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. |
| F* | |||
|---|---|---|---|
| Filendelse(r) | Lua-feil i Modul:Wikidata2, linje 231: attempt to call method 'getBestStatements' (a nil value). | ||
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
- Artikkelen mangler oppslag i Wikidata
- Rise4Fun: F* Arkivert 20. juli 2011 hos Wayback Machine.
- Offisiell F* side
Autoritetsdata
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.