Should types representing functions to be moved to a single-argument nested style?

[0x0f0f0f]

Should the definition for function expressions be like this

type expr = 
...
| Lambda of ide * expr

so that a function that takes 3 arguments becomes (Lambda ("x", (Lambda ("y", Lambda ("z", ...body...))))

Or should i keep the list style?

type expr = 
...
| Lambda of ide list * expr

where a function that takes 3 arguments is (Lambda (["x"; "y"; "z"], ...body...)

I think the latter is easier to read, but the first one makes currying and static type inference easier.

[cheery]

Do the first one if you're doing ocaml-style language. If you'll optimize lambdas by clumping them together, it'll be likely in this way: x → y → z → body ==>> (x ∧ y ∧ z) → body, not by RLE-encoding original structures.

[0x0f0f0f]

Chose the first one. Closing. A lot of things like partial application now snap together nicely. Thank you!