Re: Lazy evaluation alternative

2003-01-24 Thread Chris Clearwater
On Fri, Jan 24, 2003 at 09:18:47AM -0600, Kevin S. Millikin wrote: > >>>>> "Chris" == Chris Clearwater <[EMAIL PROTECTED]> writes: > > Chris> LIAR. You want to steal my idea for yourself! It's MINE! :) > > I hate to be the one to break it

Re: Lazy evaluation alternative

2003-01-24 Thread Chris Clearwater
On Fri, Jan 24, 2003 at 03:07:48PM +0100, Thomas Johnsson wrote: > > > > > Yes I am. But the + should be in CPS form anyways to be perfectly > > correct, so: natural n c = (+) n 1 (\m -> c n : (natural m)) > > > > I think Jerzy (in his usual polite manner :-) refers to the every group has

Re: Lazy evaluation alternative

2003-01-24 Thread Chris Clearwater
On Fri, Jan 24, 2003 at 01:51:57PM +0100, Jerzy Karczmarczuk wrote: > Chris Clearwater wrote: > >It seems to > >me you could get some of the desired effects of lazy evaluation by using > >continuation passing style in code. For example, take this psuedo-code > >using C

Lazy evaluation alternative

2003-01-24 Thread Chris Clearwater
I wonder if I could run an idea I've had by this list. It seems to me you could get some of the desired effects of lazy evaluation by using continuation passing style in code. For example, take this psuedo-code using CPS to represent an infinite data type. Using non-CPS this would be something

Lazy evaluation alternative

2003-01-24 Thread Chris Clearwater
I wonder if I could run an idea I've had by this list. It seems to me you could get some of the desired effects of lazy evaluation by using continuation passing style in code. For example, take this psuedo-code using CPS to represent an infinite data type. Using non-CPS this would be something