Comment Re:Obviously you haven't used ML too much... (Score 1) 475
Huh? There is not "two calling conventions" in ML. There is one calling convention,
function followed by argument. Of course, the function can be any function-valued expression.
In the case on an uncurried function, the argument is a tuple. This is no different from using any
other datastructure as an argument. I.e conceptually there is no difference between
f (x,y)
and
f (Leaf x)
Of course, the One True Programming Language is not ML, but Haskell. :-)
function followed by argument. Of course, the function can be any function-valued expression.
In the case on an uncurried function, the argument is a tuple. This is no different from using any
other datastructure as an argument. I.e conceptually there is no difference between
f (x,y)
and
f (Leaf x)
Of course, the One True Programming Language is not ML, but Haskell.
