Open-source, cross-platform functional-first programming language from Microsoft running on .NET.
F# is an open-source, cross-platform functional-first programming language developed by Microsoft that runs on .NET. It combines functional, imperative, and object-oriented programming with strong static typing and type inference, and is used for data science, web and cloud services, financial computing, and domain modeling.
F# is one of the ML-family languages closest to OCaml, sharing algebraic data types, pattern matching, and module systems, and it interoperates with the broader .NET ecosystem via C# and VB.NET interop. Its community hub at fsharp.org and Microsoft's official .NET language page document tooling, libraries, and adoption.
Microsoft Edge
Microsoft Clarity
Microsoft-Decision-1
Microsoft Purview Insider Risk Management
Semantic Kernel
Microsoft Dragon Copilot
Microsoft Teams Phone
Microsoft Excel
Microsoft Clipchamp
Azure Kubernetes Service
Azure Cosmos DB
Azure HDInsight
Microsoft Q&A
Azure Digital Twins
Microsoft Teams Custom Backgrounds
Azure Quantum
Havok Physics
Microsoft Project Bonsai
Microsoft Project AirSim
AirSim
Nubank
Clojure
nubank.com.br
Haskell Foundation
Haskell
haskell.foundation
JetBrains
Kotlin
jetbrains.com
Inria
OCaml
inria.fr
Scala Center
Scala
scala.epfl.ch
| Attribute | F# | Clojure | Haskell | Kotlin | OCaml | Scala | |
|---|---|---|---|---|---|---|---|
| Provider | | | | | | | |
| Founded | 1975 | 2013 | — | 2000 | 1967 | 2016 | |
| Sells To | Enterprises, Small Business | — | — | Developers | — | — | |
| Pricing Model | SaaS, Transactional | — | — | Subscription | — | — | |
| Ownership | Public | Public | — | Private | Government-owned | — |
Provider
Founded 1975
Sells To Enterprises, Small Business
Pricing Model SaaS, Transactional
Ownership Public
Provider
Founded 2013
Sells To —
Pricing Model —
Ownership Public
Provider
Founded —
Sells To —
Pricing Model —
Ownership —
Provider
Founded 2000
Sells To Developers
Pricing Model Subscription
Ownership Private
Provider
Founded 1967
Sells To —
Pricing Model —
Ownership Government-owned
Rust is an open-source systems programming language focused on performance, reliability, and memory safety.
Apache Groovy is an open-source, Java-like programming language for the JVM with static and dynamic typing.
Strongly typed programming language from Microsoft that builds on JavaScript with syntax for types and better tooling.
Open-source PDE and finite element computing platform in C++ and Python.
Rust is an open-source systems programming language focused on performance, reliability, and memory safety.
Apache Groovy is an open-source, Java-like programming language for the JVM with static and dynamic typing.
Strongly typed programming language from Microsoft that builds on JavaScript with syntax for types and better tooling.
Go is an open-source programming language supported by Google for building scalable networked systems.
C# is Microsoft's strongly typed, object-oriented programming language for building software on .NET.
Dart is Google's programming language for building applications across mobile, web, and desktop targets.
Swift is Apple's general-purpose programming language for apps across its platforms and servers.
Java is Oracle's object-oriented programming language and computing platform built on the JVM.
