 The Lambda-calculus, 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 Lambda-calculus, Combinatory Logic, and Type Systems 
8/29/2000; 12:43:47 PM (reads: 401, responses: 1)
|
|
| The Lambda-calculus, 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 Lambda-calculus, 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...
|
|
|
|