F* (programming language)
| File:FStar Logo.png | |
| Paradigm | multi-paradigm: functional, imperative, object-oriented, metaprogramming, concurrent |
|---|---|
| Designed by | Microsoft Research |
| Developer | Microsoft |
| Stable release | 0.6-alpha
/ November 29, 2012 |
| Typing discipline | static, strong, inferred |
| OS | Cross-platform (.NET Framework) |
| License | Microsoft Research License |
| Website | F* project |
| Influenced by | |
| F#, Fine, F7, FX | |
F* is a dependently typed programming language developed at Microsoft Research. F* is based on the F# programming language and can interoperate with other .NET languages. The types system of F* is much richer type system than that of F#. Among the main purposes of F*'s rich type system is to enable the definition of functional correctness specifications that can be checked semi-automatically. F* can be compiled to javascript for use on the web.