"the compiler still has to know how many parameters a function takes before it can be called" I guess it's better viewed as: type system has to figure out whet

"the compiler still has to know how many parameters a function takes before it can be called" I guess it's better viewed as: type system has to figure out whether a consecutive currying/calling will return a scalar/function of zero arguments.