
16 Nov
2007
16 Nov
'07
11:06 a.m.
This actually clears up something that's been bothering me for some time. I've never really like syntax of types for functions with multiple arguments. Using the same token, "->", to separate both arguments and the result seems very poor, because when reading a type you don't know if the value after that token is another argument or the final result without going further ahead. However, knowing that a function takes exactly one argument makes the syntax seem much more expressive for me.
From: Henning Thielemann
... In contrast to that, Haskell functions have exactly one argument and one result, which I find is a nice thing.