Contents

Idea

Haskell is a typed functional programming language. It is named after Haskell Brooks Curry?.

Properties

Category-theoretic properties

There is a category $\mathbf{Haskell}$ whose objects are Haskell types and whose morphisms are Haskell functions.

Haskell is famous for its use of monads (in computer science) acting on this category.

Languages similar to Haskell but refining it from plain type theory to dependent type theory include

A wiki platform based on Haskell, running texmath

References

General

• Haskell, language and library specification, wiki

Discussion of the category of Haskell types (see at relation between category theory and type theory and at monad (in computer science)) is in