[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
experts.
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