
1 Sep
2006
1 Sep
'06
2:52 p.m.
Hello Udo, Friday, September 1, 2006, 10:14:44 PM, you wrote:
The general process is called "lambda elimination" and can be done mechanically. Ask Goole for "Unlambda", the not-quite-serious programming language; since it's missing the lambda,
afaik, FP proposed by Backus was serious lambda-missing programming language :) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com