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

Mathematics in Haskell

The use of Haskell in mathematics is discussed in the following references.

Revised on May 11, 2014 10:59:16 by Urs Schreiber (88.128.80.143)