Summary: Lambda syntax
John Nilsson
john at milsson.nu
Fri Mar 19 12:53:44 PDT 2010
For completeness I've tried to formalize my earlier suggestion as follows.
The intent is that the number identifies position in argument list. Argument
types are inferred. A lambda expression with n arguments can be coerced into
a lambda expression taking n+m arguments, where the other m arguments are
ignored, and any expression can be coerced into a lambda expression.
LambdaExpression:
# DecimalNumeral
# ( Expression )
Examples:
7
#(handle(#0))
#0.getName()
#0.(#1)
BR,
John
More information about the lambda-dev
mailing list