Haskell
AKA GHC Haskell
Summary
A purely functional programming language with strong static typing and non-strict evaluation. It emphasizes mathematical elegance, immutability, and type safety.
Paradigms
purely functional, declarative, generic, concurrent, meta-programming, functional
Domains
compiler, financial systems, formal verification, automated theorem proving
Key Features
algebraic data types, type classes, pattern matching, lazy evaluation, type inference, monads, pure functions, currying, first-class functions, tail-call optimization
Typing
static system, non-structural typing, strong typing, full inference, compile-time checking, none type coercion, optional type annotations
Compilation
compiled
Influenced By
Miranda, ML, FP, Hope, Lisp, Clean, Lazy ML, Orwell
Ratings
File extensions
hs, hs-boot, hsc
External Links
| Status | active |
| Type | programming |
| Created | 1990 |
| Designed by |
Simon Peyton Jones Philip Wadler Lennart Augustsson John Hughes Warren Burton Erik Meijer Paul Hudak Thomas Johnsson John Launchbury Kevin Hammond Alastair Reid |
| Developed by | Haskell Committee |
| PyPL Index | #28 |
| TIOBE Index | #30 |
| GitHub rank | #44 |