# Hask

### From HaskellWiki

(Difference between revisions)

m |
(Functor) |
||

Line 1: | Line 1: | ||

'''Hask''' is the name usually given to the [[Category theory|category]] having Haskell types as objects and Haskell functions between them as morphisms. |
'''Hask''' is the name usually given to the [[Category theory|category]] having Haskell types as objects and Haskell functions between them as morphisms. |
||

+ | |||

+ | A type-constructor that is an instance of the Functor class is an endofunctor on Hask. |
||

* [http://www.cs.gunma-u.ac.jp/~hamana/Papers/cpo.pdf Makoto Hamana: ''What is the category for Haskell?''] |
* [http://www.cs.gunma-u.ac.jp/~hamana/Papers/cpo.pdf Makoto Hamana: ''What is the category for Haskell?''] |

## Revision as of 05:43, 20 May 2009

**Hask** is the name usually given to the category having Haskell types as objects and Haskell functions between them as morphisms.

A type-constructor that is an instance of the Functor class is an endofunctor on Hask.

*This article is a stub. You can help by expanding it.*