[Haskell-cafe] Domains and Co-Domains
alp at mestan.fr
Mon Mar 29 09:16:04 EDT 2010
a -> b -> c is a -> (b -> c)
domain : a
codomain : b -> c (which is a valid Haskell type, of the functions from b to
2010/3/29 Günther Schmidt <gue.schmidt at web.de>
> I can easily see how one identifies the domain and co-domain of a unary
> How would the domain of a function be expressed that takes more than one
> argument and arguments of different type?
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe