F* (programming language)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
FStar Logo.png
Paradigm(s) multi-paradigm: functional, imperative, object-oriented, metaprogramming, concurrent
Designed by Microsoft Research
Developer Microsoft
Stable release 0.7-alpha / April 29, 2013 (2013-04-29)
Typing discipline static, strong, inferred
Influenced by F#, Fine, F7, FX
OS Cross-platform (.NET Framework)
License Microsoft Research License
Website F* project

F* is a dependently typed programming language developed at Microsoft Research based on F#. It can be compiled to either .NET CIL or JavaScript.

The type system of F* is much richer than that of F#. It allows for functional correctness specifications that can be checked semi-automatically.

External links[edit]