<div>Maybe you mean that </div><div><br></div><div>f :: Int -> Int -> Int </div><div><br></div><div>does not say much about what the function does since the Int arguments have no "name" in Haskell?</div><div>
<br></div><div>E.g. the following might "mean" more, but is not valid Haskell:</div><div><br></div><div><div>f :: numerator:Int -> denominator:Int -> quotient:Int </div><div><br></div><div>In Haskell you regularly see documentation that says: "the 4th argument of dpSwitch is ..., the 7th argument of dpSwitch is ..." </div>
<div><br></div><div>That's okay, since it trains you at counting :-) Of course, I'm being sarcastic. </div><div><br></div><div>But most of the time, this is not an issue, since functions usually only have a few arguments, or have argument types that tell more.</div>
<div><br></div></div><div><div class="gmail_quote">2009/2/5 TKM <span dir="ltr"><<a href="mailto:temp.public@gmail.com">temp.public@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div style="padding-right:10px;padding-left:10px;padding-top:15px" name="Compose message area">
<div><font face="Arial" size="2">Hello,</font></div>
<div><font face="Arial" size="2"></font> </div>
<div><font face="Arial" size="2">I'm kind of new with Haskell and I would like to
know about the following:</font></div>
<div><font face="Arial" size="2"></font> </div>
<div><font face="Arial" size="2">[some function]:: Int -> Int ->
Int</font></div>
<div><font face="Arial" size="2"></font> </div>
<div><font face="Arial" size="2">Now is my question, how should I interpret "Int
-> Int -> Int"? Meaning what does "Int -> Int -> Int"
mean?</font></div>
<div><font face="Arial" size="2"></font> </div>
<div><font face="Arial" size="2">Thank you for answering my question.</font></div>
<div><font face="Arial" size="2"></font> </div>
<div><font face="Arial" size="2">Kind Regards, JTKM</font></div></div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">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>
<br></blockquote></div><br></div>