F*
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.
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 |
Eksempel
Følgende eksempel er kode skrevet i F*:
module Hellotype zero = x:int{x=0}let fail = assert<0=1> ()
Eksterne lenker
- 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.
🔥 Top keywords: Portal:Forside17. mai (grunnlovsdag)Spesial:SøkOddvar TorsheimPinseKFUM-Kameratene OsloJa, vi elsker dette landetNorges flaggNorgeSpesial:Siste endringerRobert FicoNorge i rødt, hvitt og blåttSlovakiaDraumkvedetNy-CaledoniaGeithamsRayleeRussefeiringNorges GrunnlovKategori:Filmer fra 2001Fil:20100530-FBK Games-Daphne Schippers.jpgFil:5000 m men final London 2017.jpgFil:Fred Kerley London 2017.jpgWikipedia:Administratorer/kandidater/2024-05-15BunadHans Petter BaarliFilmåret 2001Jostein GundersenEliteserien i fotball for mennFlaggbrukSistemann utTeodor Berg HaltvikEM i fotball 2024Gud signe vårt dyre fedrelandEurovision Song Contest 2024Wikipedia:KontaktHenning MankellKleopatraMorten Bjørlo