# [plt-scheme] The Lambda Calculus behind functional programming

lol. paper cutouts wasn't exactly what I had in mind as a IDE, but
that's awesome.
Corey
On 8/30/07, Anton van Straaten <anton at appsolutions.com> wrote:
>* Corey Sweeney wrote:
*>* > I would propose that the lack of visible end results in LC would be
*>* > due to the lack of a good IDE.
*>*
*>* Aside from the DrScheme reduction semantics module, you could use this
*>* educationally-oriented "IDE" for the lambda calculus:
*>*
*>* http://worrydream.com/AlligatorEggs/
*>*
*>* Check out the "Theory" subheading if you haven't seen this before.
*>*
*>* While I'm not sure alligators are the way to go, I don't see why kids
*>* shouldn't be taught simple lambda calculus reduction at about the same
*>* time as they learn algebraic substitution. It relies on the same core
*>* abstraction principle, after all. They could solve some of their math
*>* problems both ways. Make it fun, connect it to something recognizable,
*>* and they're primed for future enlightenment.
*>*
*>* Anton
*>*
*
--
((lambda (y) (y y)) (lambda (y) (y y)))