F* (programming language)

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

F* (pronounced as F star) is a dependently typed programming language developed at Microsoft Research based on F#. It can be compiled to either .NET CIL[1] 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.


  1. ^ "The F* Project". Microsoft Research. Microsoft. Retrieved 3 January 2015. 

External links[edit]