From: Tayssir John Gabbour
Subject: Lazy eval systems
Date: 
Message-ID: <1139558960.850974.233880@o13g2000cwo.googlegroups.com>
Hi,

For personal interest, I'm looking for either lazy eval systems for
Lisp, or some opensource projects which make nice use of it. (That
ideally I can run on say Mac+SBCL/CMUCL, though it's not necessary if
the code is fairly clear.) Or papers describing it.

I'm aware of:
* Ivan Boldyrev's Lizp
* Jim Veitch's "A History and Description of CLOS" describes a CAD app
where the MOP was used to implement lazy updating of objects
* Series

(My interest is kindled after finally reading the overview on using
combinators and lazy eval for financial contracts...)
http://research.microsoft.com/~simonpj/Papers/financial-contracts/contracts-icfp.htm

Thanks for any pointers,
Tayssir
From: Thomas F. Burdick
Subject: Re: Lazy eval systems
Date: 
Message-ID: <xcvk6c31rlq.fsf@conquest.OCF.Berkeley.EDU>
"Tayssir John Gabbour" <···········@yahoo.com> writes:

> Hi,
> 
> For personal interest, I'm looking for either lazy eval systems for
> Lisp, or some opensource projects which make nice use of it. (That
> ideally I can run on say Mac+SBCL/CMUCL, though it's not necessary if
> the code is fairly clear.) Or papers describing it.
> 
> I'm aware of:
> * Ivan Boldyrev's Lizp
> * Jim Veitch's "A History and Description of CLOS" describes a CAD app
> where the MOP was used to implement lazy updating of objects
> * Series

KR was a prototype-based object system with lazy propagation of
one-way constraints.  It's described in the paper "KR:
Constraint-Based Knowledge Representation".

-- 
           /|_     .-----------------------.                        
         ,'  .\  / | Free Mumia Abu-Jamal! |
     ,--'    _,'   | Abolish the racist    |
    /       /      | death penalty!        |
   (   -.  |       `-----------------------'
   |     ) |                               
  (`-.  '--.)                              
   `. )----'                               
From: Matthew D Swank
Subject: Re: Lazy eval systems
Date: 
Message-ID: <pan.2006.02.10.16.42.10.92921@c.net>
On Fri, 10 Feb 2006 00:09:20 -0800, Tayssir John Gabbour wrote:

> Hi,
> 
> For personal interest, I'm looking for either lazy eval systems for
> Lisp, or some opensource projects which make nice use of it. (That
> ideally I can run on say Mac+SBCL/CMUCL, though it's not necessary if
> the code is fairly clear.) Or papers describing it.
> 
In a similar vein as Series, there is srfi-40: A Library of Even Streams
(haskell style lazy list) at http://srfi.schemers.org/srfi-40/srfi-40.html.

I have a basic port of that code to Common Lisp if you would like to see
it.

Matt

-- 
"You do not really understand something unless you can
 explain it to your grandmother." — Albert Einstein.
comp.lang.lisp / 2006 / feb