F*
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
Følgende eksempel er kode skrevet i F*:
module Hello type 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
- v
- d
- r
A# · ActionScript · Ada · Alef · ALGOL · ALGOL 58 · ALGOL 60 · ALGOL 68 · ALTRAN · APL · AppleScript · Argus · Assembler · Autokode · awk · B · BASIC · BCPL · BETA · BitC · BLISS · Bourne Shell · C · C++ · C-- · CHILL · C# · C shell · Caml · Ch · Cilk · Cilk++ · Cilk Plus · Clarion · Clipper · CLISP · Clojure · CLU · COBOL · COMAL · Common Lisp · Concurrent C · Concurrent Euclid · Concurrent Pascal · C shell · D · Delphi · Dylan · ECMAScript · Eiffel · Emacs Lisp · Erlang · Euclid · F* · F# · Forth · Fortran · GNU Common Lisp · GNU Pascal · Go · Haskell · HyperTalk · Incr Tcl · INTERCAL · Interlisp · Java · JavaScript · JRuby · LaTeX · Legoscript · LilyPond · Limbo · Lisp · LPC · Lua · Lynx · Mary · MATLAB · Mesa · ML · MML · Modula · Modula-2 · Modula-2+ · MUMPS · Objective-C · Objective-C++ · OCaml · OpenVera · O'Haskell · Pascal · Perl · PHP · Pike · PL/I · Plankalkül · PLEX · Prolog · Protel · Pure Data · Python · R · Ratfor · REXX · RTL/2 · Ruby · Rust · SAS · Scala · Scheme · Scratch · Simula · SML · Smalltalk · SNOBOL · Tcsh · Tcl · TECO · TOM · Turbo Basic · Turbo Pascal · Verilog · Visual Prolog · Turing · TypeScript · Vala · VHDL · Visual Basic
- Liste over programmeringsspråk
- Kategori
Autoritetsdata
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.