[Haskell-cafe] Assignment, Substitution or what?

Dan Weston westondan at imageworks.com
Mon Oct 1 17:11:08 EDT 2007

If you've never been exposed to lambda calculus, then you're in for a 
real treat! There is no shortage of tutorials on this.

If Greek letters and symbol manipulations are not your thing, take a 
look at  http://worrydream.com/AlligatorEggs/ which describes a game 
that teaches children about lambda calculus. It is fun to read even for 

I got the above link off the Wikipedia page
http://en.wikipedia.org/wiki/Lambda_abstraction which you can take a 
look at when you're done learning how alligators each other, lay eggs, 
and die, in color!

PR Stanley wrote:
>> > f x = x + x
>> > Is the "x" use to create a pattern in the definition and when f is
>> > called it's replaced by a value?
>> Those equation-like definitions are syntactic sugar for lambda
>> abstractions. f could as well be defined as f = \x -> x + x.
> Please elaborate
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list