CODIGO
log in

F#

AKA fsharp

F# logo

Summary

F# is a functional-first, strongly typed programming language that enables developers to write succinct, type-safe code. It runs on .NET platforms and seamlessly interoperates with C# while offering powerful features like pattern matching, algebraic data types, and immutability.

Paradigms

functional, object-oriented, imperative, concurrent, meta-programming, generic, reflective

Domains

data science, financial systems, scientific computing, server-side applications, web development

Key Features

pattern matching, algebraic data types, type inference, first-class functions, closures, traits/interfaces, async/await

Typing

static system, structural typing, strong typing, full inference, compile-time checking, conservative type coercion, optional type annotations

Compilation

compiled

Influenced By

OCaml, C#, Haskell, Python, Scala, Erlang, ML

Ratings

Startup time
▊▊
▊▊
▊▊
▊▊
▊▊
Memory usage
▊▊
▊▊
▊▊
▊▊
▊▊
Computation speed
▊▊
▊▊
▊▊
▊▊
▊▊
Compilation speed
▊▊
▊▊
▊▊
▊▊
▊▊
Maturity
▊▊
▊▊
▊▊
▊▊
▊▊
Community size
▊▊
▊▊
▊▊
▊▊
▊▊
Learning resources
▊▊
▊▊
▊▊
▊▊
▊▊
Job market demand
▊▊
▊▊
▊▊
▊▊
▊▊
Learning curve
▊▊
▊▊
▊▊
▊▊
▊▊
Cognitive load
▊▊
▊▊
▊▊
▊▊
▊▊
Syntax complexity
▊▊
▊▊
▊▊
▊▊
▊▊
Semantic complexity
▊▊
▊▊
▊▊
▊▊
▊▊
Memory safety
▊▊
▊▊
▊▊
▊▊
▊▊
Concurrency ease of use
▊▊
▊▊
▊▊
▊▊
▊▊
Std lib maturity
▊▊
▊▊
▊▊
▊▊
▊▊
Std lib size
▊▊
▊▊
▊▊
▊▊
▊▊
Backwards compatibility
▊▊
▊▊
▊▊
▊▊
▊▊
Documentation quality
▊▊
▊▊
▊▊
▊▊
▊▊

File extensions

fs, fsi, fsx

External Links

Status active
Type programming
Created 2005
Designed by Don Syme
Microsoft Research
Developed by Microsoft Research
Microsoft
F# Software Foundation
PyPL Index N/A
TIOBE Index #51-100
GitHub rank #65