It's all Geek to me?

Levi Pearson levi at cold.org
Wed Feb 21 14:01:23 MST 2007


"Daniel C." <dcrookston at gmail.com> writes:
>
> Doesn't it also require that all functions can take only one argument?
>

Yes, but since lambda bindings nest, multiple-variable lambda calculus
is trivially transformed to single-variable lambda calculus.  It's
also traditionally written in a somewhat different notation: 
<lambda> a . a would be the identity function.  Assume <lambda> is
replaced with the lambda character; I'm too lazy to figure out how to
type it right now. :)

                --Levi
        



More information about the PLUG mailing list