# 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

### Mathematics in Haskell

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

Revised on February 20, 2015 15:44:55 by Urs Schreiber (195.113.30.252)