19 Feb
2015
19 Feb
'15
1:11 p.m.
On 19 February 2015 at 18:53, Nils Schweinsberg
What would be the typing rules for this? What would be the types of e.g. pointfree written function definitions (`f` in `let f = infix + 5 in f 2 + f 2 3 4`)?
Purely syntactical, the translation I gave was literal: let f = infix + 5 is the same as let f = (5 +). But to avoid confusion it's also possible to disallow unary arguments and mandate at least two arguments.