# Contents

## Idea

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

## Properties

### Category-theoretic properties

There is a category $\mathrm{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

## References

### General

• Haskell, language and library specification, wiki

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

Revised on November 24, 2012 01:29:06 by Urs Schreiber (82.113.121.187)