[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)))