Purely functional, statically typed programming language with lazy evaluation, supported by the Haskell Foundation.
Haskell is a purely functional, statically typed programming language with lazy evaluation and type inference, whose main open-source implementation is the Glasgow Haskell Compiler (GHC). It is used in industry for high-assurance systems, compilers, financial systems, and research, with a package ecosystem centered on Hackage and Stackage.
The Haskell language emphasizes immutability, strong static typing, and compositional design, competing with OCaml and F# in the functional-programming space. The Haskell Foundation supports its ecosystem through tooling improvements, education initiatives, and community grants.
| Attribute | Haskell | F# | OCaml | |
|---|---|---|---|---|
| Provider |  |  |  | |
| Founded | — | 1975 | 1967 | |
| Sells To | — | Enterprises, Small Business | — | |
| Pricing Model | — | SaaS, Transactional | — | |
| Ownership | — | Public | Government-owned |
Provider
Founded —
Sells To —
Pricing Model —
Ownership —
Provider
Founded 1975
Sells To Enterprises, Small Business
Pricing Model SaaS, Transactional
Ownership Public
Provider
Founded 1967
Sells To —
Pricing Model —
Ownership Government-owned
Hybrid functional and object-oriented programming language on the JVM, stewarded by the Scala Center at EPFL.
Interactive theorem prover and dependently typed programming language for formal verification and mathematics.
Hybrid functional and object-oriented programming language on the JVM, stewarded by the Scala Center at EPFL.
Interactive theorem prover and dependently typed programming language for formal verification and mathematics.
Kotlin is the open-source programming language created by JetBrains for the JVM, Android, JavaScript, and native targets.
Clojure is a dynamic, functional dialect of Lisp hosted on the Java Virtual Machine.
