---
key: pl/haskell
kind: plang
name: "Haskell"
url: https://plangs.page/haskell
---

# Haskell

> Statically-typed, purely functional language known for type inference and lazy evaluation.

General-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research, and industrial applications, Haskell has pioneered several programming language features such as type classes and monadic input/output (IO). It is named after logician Haskell Curry. Haskell's main implementation is the Glasgow Haskell Compiler (GHC).

## Facts

- Appeared: 1990
- Homepage: https://www.haskell.org
- GitHub: https://github.com/ghc/ghc
- Languish ranking: #48

## Relationships

### Paradigms

- [Concurrent](https://plangs.page/paradigm/concurrent)
- [Declarative](https://plangs.page/paradigm/declarative)
- [Functional](https://plangs.page/paradigm/functional)
- [General-Purpose](https://plangs.page/paradigm/general-purpose)
- [Lazy Eval](https://plangs.page/paradigm/lazy)

### Platforms

- [BSD](https://plangs.page/platform/bsd)
- [Cross-Platform](https://plangs.page/platform/cross)
- [Linux](https://plangs.page/platform/linux)
- [Windows](https://plangs.page/platform/windows)

### Type Systems

- [Algebraic Data Types](https://plangs.page/type-system/algebraic)
- [Inferred](https://plangs.page/type-system/inferred)
- [Safe](https://plangs.page/type-system/safe)
- [Static](https://plangs.page/type-system/static)
- [Strong](https://plangs.page/type-system/strong)

### Implements

- [Curry](https://plangs.page/curry)

### Influenced By

- [Clean](https://plangs.page/clean)
- [Lisp](https://plangs.page/lisp)
- [R5RS](https://plangs.page/r5rs)
- [Raku](https://plangs.page/raku)
- [Scheme](https://plangs.page/scheme)
- [Standard ML](https://plangs.page/standard-ml)

### Influenced

- [Agda](https://plangs.page/agda)
- [C#](https://plangs.page/c-sharp)
- [Clean](https://plangs.page/clean)
- [Clojure](https://plangs.page/clojure)
- [CoffeeScript](https://plangs.page/coffeescript)
- [Curry](https://plangs.page/curry)
- [F#](https://plangs.page/f-sharp)
- [Flix](https://plangs.page/flix)
- [Futhark](https://plangs.page/futhark)
- [Hack](https://plangs.page/hack)
- [Idris](https://plangs.page/idris)
- [Isabelle](https://plangs.page/isabelle)
- [jq](https://plangs.page/jq)
- [Mercury](https://plangs.page/mercury)
- [Pure](https://plangs.page/pure)
- [PureScript](https://plangs.page/purescript)
- [Python](https://plangs.page/python)
- [Raku](https://plangs.page/raku)
- [Rakudo](https://plangs.page/rakudo)
- [Rust](https://plangs.page/rust)
- [Scala](https://plangs.page/scala)
- [Swift](https://plangs.page/swift)
- [Visual Basic](https://plangs.page/visual-basic)

### Used to Write

- [Agda](https://plangs.page/agda)
- [Eclair](https://plangs.page/eclair)
- [PureScript](https://plangs.page/purescript)
- [Unison](https://plangs.page/unison)

### Licenses

- [BSD](https://plangs.page/license/bsd)

### Tags

- [Application](https://plangs.page/tag/app)
- [Application Framework](https://plangs.page/tag/framework)
- [Compiler](https://plangs.page/tag/compiler)
- [Industrial Control](https://plangs.page/tag/industrial)
- [Interpreter](https://plangs.page/tag/interpreters)