[plt-scheme] Character lambda vs. word lambda in Lazy Scheme

From: Eli Barzilay (eli at barzilay.org)
Date: Mon Mar 24 16:33:55 EDT 2008

On Mar 24, Casey Klein wrote:
> In Lazy Scheme, the behavior of the character lambda differs from the
> behavior of the word `lambda':
> 
>    #lang lazy
> 
>    ((lambda (x) 42) ((λ (x) (x x)) (λ (x) (x x)))) ; terminates
>    ((λ (x) 42) ((λ (x) (x x)) (λ (x) (x x)))) ; does not terminate
> 
> Is this intentional?

No, just laziness.  (The human kind.)  I committed a fix to svn, and I
can tell you what to do if you want to fix a 372 version (which is
better if you want to play with lazy scheme, since it's not fully
operational yet.)

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!


Posted on the users mailing list.