a -> b -> c is a -> (b -> c)

domain : a

codomain : b -> c (which is a valid Haskell type, of the functions from b to c)

2010/3/29 Günther Schmidt <gue.schmidt@web.de>

Hi,

I can easily see how one identifies the domain and co-domain of a unary function.

How would the domain of a function be expressed that takes more than one argument and arguments of different type?

Günther


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

--
Alp Mestanogullari
http://alpmestan.wordpress.com/
http://alp.developpez.com/