Or maybe "->"(x,f) := buildq([x,f], lambda(x, f))$ so that you can define
functions with multiple arguments?
But then a->a becomes an error. But special-casing a->a as equivalent to
[a]->a complicates things....
Syntactic design, though one of the more trivial parts of language design,
is full of messes like this....
-s
On Fri, Aug 28, 2009 at 6:32 PM, Barton Willis <willisb at unk.edu> wrote:
>
> >If the symbol "lambda" is too long, define say "f" to be
> >a macro for lambda....
>
> Or, (maybe the binding powers need to be adjusted)
>
> (%i28) infix("->",30,30)$
>
> (%i29) "->"(x,f) := buildq([x,f], lambda([x], f))$
>
> (%i30) f : x -> x^2$
>
> (%i31) f(6);
> (%o31) 36
>
> Barton
>
>