[Haskell-cafe] Domains and Co-Domains

Günther Schmidt gue.schmidt at web.de
Mon Mar 29 09:19:42 EDT 2010


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.schmidt at web.de <mailto: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 <mailto: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/ee5ffe7f/attachment.html


More information about the Haskell-Cafe mailing list