[Haskell-cafe] Domains and Co-Domains
gue.schmidt at web.de
Mon Mar 29 09:19:42 EDT 2010
thanks for explaining. As so often things become obvious in hindsight :)
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.schmidt at web.de <mailto:gue.schmidt at web.de>>
> 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?
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org <mailto:Haskell-Cafe at haskell.org>
> Alp Mestanogullari
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe