
7 Jan
2006
7 Jan
'06
2:46 p.m.
On Jan 7, 2006, at 2:23 PM, Chris Kuklewicz wrote:
The mantra is : Bindings are not variables
The best, official thing to read is section 3.12 of the Haskell98 Report:
Yes, I had already looked there, but didn't achieve enlightenment. Thanks for your efforts in describing it. I'll work on understanding it. My mind is definitely stuck in a lisp-y world view. I wonder if there is a more lambda calculus-y way of describing this? I have a vague memory that this can all be translated into combinators that don't involve variables at all. -------------------------------- David F. Place mailto:d@vidplace.com