a -> b -> c is a -> (b -> c)<div>domain : a</div><div>codomain : b -> c (which is a valid Haskell type, of the functions from b to c)<br><br><div class="gmail_quote">2010/3/29 Günther Schmidt <span dir="ltr"><<a href="mailto:gue.schmidt@web.de">gue.schmidt@web.de</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hi,<br>
<br>
I can easily see how one identifies the domain and co-domain of a unary function.<br>
<br>
How would the domain of a function be expressed that takes more than one argument and arguments of different type?<br>
<br>
Günther<br>
<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br><br clear="all"><br>-- <br>Alp Mestanogullari<br><a href="http://alpmestan.wordpress.com/">http://alpmestan.wordpress.com/</a><br><a href="http://alp.developpez.com/">http://alp.developpez.com/</a><br>
</div>