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