Personal tools

Hask

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
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.