Hello Alp,
thanks for explaining. As so often things become obvious in hindsight :)
Günther
Am 29.03.10 15:16, schrieb Alp Mestanogullari:
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.schm...@web.de <mailto:gue.schm...@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 <mailto:Haskell-Cafe@haskell.org>
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
Alp Mestanogullari
http://alpmestan.wordpress.com/
http://alp.developpez.com/
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
