|
Tue
25
Jul '06
|
by Frank Spychalski filed under Computer
|
This is a great thread on Lamba the Ultimate. The quality of posts at LtU is usually pretty good, but this one is even better. What really suprised me is the lack of flaming. Probably because of the “that you can’t prove (yet)” in the original question, which labeled everything as speculation.
The whole discussion is worth reading and there is a wealth of interesting pointers. Below is the list of links I followed or will follow as soon as I find the time.
- Lively Linear Lisp — ‘Look Ma, No Garbage!’
- ‘Use-Once’ Variables and Linear Objects
- Philip Wadler: Linear Logic
- omake
- Patterns of Software (pdf)
- Psychological criticism of the Prototype-based object-oriented languages
- E
- Partial Evaluation and Automatic Program Generation or pdf
- partial-eval.org
- Partial Evaluation – An Overview
Always nice to see kind of a buddhist approach to software development
At LtU there is really good stuff.
LtU is a great resource and I’m subscribed to their feed. But I dismissed the post when I first read it and found it again thanks to Brian’s post.