
17 Nov
2009
17 Nov
'09
10:33 p.m.
Doug McIlroy wrote:
Is there a deep reason (beyond saving a sentence or two in the language definition) for requiring all patterns in a function binding to have the same explicit arity?
Perhaps it is more likely that a clause omitting an argument is a mistake by the programmer, than that it was an intentional eta- conversion. Regards, Malcolm