F* (programming language)

F*
Paradigm multi-paradigm: functional, imperative, object-oriented, metaprogramming, concurrent
Designed by Microsoft Research
Developer Microsoft
0.7-alpha / April 29, 2013
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.

References

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

External links