Language

F#

Microsoft programming language

2005Appeared

static typing, inference typing, strong typingType system

10.0Latest version

4Languages it influenced

Facts

Appeared: 2005
Type system: static typing, inference typing, strong typing
Latest version: 10.0 (November 11, 2025)
Languages it influenced: 4
Kind: multi-paradigm programming language, functional programming language, off-side rule language
Paradigms: reflective programming, concurrent computing, functional programming, imperative programming, metaprogramming, object-oriented programming
Designed by: Microsoft Research, Don Syme
Developer: F Sharp Software Foundation, Microsoft
Influenced by: OCaml, C#, Python, Erlang, Haskell, Scala, ML
File extensions: .fs .fsi .fsscript .fsx
Licence: Apache License
Operating system: cross-platform
Influences listed: 7

Language	Appeared	Paradigms	Type system	Languages it influenced
C#	2001	generic programming, reflective programming, event-driven programming, functional programming, structured programming, imperative programming, multi-paradigm programming, class-based programming, strict programming, object-oriented programming	dynamic typing, nominative typing, inference typing, strong typing	23
F*	—	functional programming, imperative programming	static typing, dependent typing, refinement typing, inference typing, strong typing	—
LiveScript	2011	functional programming, object-oriented programming	dynamic typing, weak typing	1
Q#	2017	functional programming, imperative programming, quantum programming	static typing, strong typing	—

Language	Appeared	Paradigms	Type system	Languages it influenced
F*	—	functional programming, imperative programming	static typing, dependent typing, refinement typing, inference typing, strong typing	—

Framework	Kind	Licence
Avalonia	widget toolkit, software	MIT License