The Lambdacalculus, Combinatory Logic, and Type Systems
started 8/29/2000; 12:43:47 PM  last post 8/29/2000; 1:58:28 PM


Ehud Lamm  The Lambdacalculus, Combinatory Logic, and Type Systems
8/29/2000; 12:43:47 PM (reads: 401, responses: 1)


The Lambdacalculus, Combinatory Logic, and Type Systems 
This is a nice site, exploring these topics  which are at the heart of the issues we discuss here.
The subject of combinatory logic appeared in the discussion of J's phrasal forms (see the DG).
The study of programming languages is a fusion of 'practical' ideas coming from software engineers, and highly abstract and theoretical ideas of logic and basic computer science.
In a sense this refutes the futile attempts of people lacking experience in either of the two fields, to claim that their shortcomings are in fact assets...
Posted to "" by Ehud Lamm on 8/29/00; 12:47:35 PM




andrew cooke  Re: The Lambdacalculus, Combinatory Logic, and Type Systems
8/29/2000; 1:58:28 PM (reads: 425, responses: 0)


I have a kludged together lambda expression manipulator/evaluator written in Python if anyone is interested. It doesn't actually work, but if there was any demand it would be some incentive to fix it.
Even better would be a volunteer to add types (that was the next chapter in a book I was working through).
On the other hand, I understand that they are trivial to implement in ML, so if anyone is interested, that might be better for their soul anyway...



