F*

Functional programming language inspired by ML and aimed at program verification

static typing, dependent typing, refinement typing, inference typing, strong typingType system

0.9.6.0Latest version

Facts

Type system: static typing, dependent typing, refinement typing, inference typing, strong typing
Latest version: 0.9.6.0 (May 17, 2018)
Kind: source-to-source compiler, dependently typed programming language
Paradigms: functional programming, imperative programming
Developer: Microsoft Research, Institut National de Recherche en Informatique et en Automatique
Influenced by: OCaml, Dafny, Standard ML, F#, Lean
Implemented in: F#
Licence: Apache Software License 2.0
Operating system: cross-platform
Influences listed: 5