Function signatures

In addition is documented with the following signature:

(+) : number -> number -> number

I would expect that partial application is possible, but it is not - you have to provide both arguments. In my mind the signature should be something like:

(+) : (number, number) -> number

Am I wrong?

Putting an infix operator in parentheses makes it act like a normal function, so

addFive : number -> number
addFive = (+) 5

This topic was automatically closed 10 days after the last reply. New replies are no longer allowed.