F*
 | 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* | |
|---|---|
 | |
| Paradigme | Multi-paradigme: Funksjonell programmering, imperativ programmering |
| Utviklet av | Microsoft 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 |
| OS | multiplattform |
| Lisens | Apache 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]- Offisielt nettsted
- (en) Offisiell blogg
- 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.