[Haskell-cafe] Domains and Co-Domains

[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>

> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>



-- 
Alp Mestanogullari
http://alpmestan.wordpress.com/
http://alp.developpez.com/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100329/dc1af513/attachment.html