Re: [Axiom-developer] Lazyness in lexing Boot and Spad

[Ralf Hemmecke]

If SPAD provides "Generator" that would be sufficient. In Aldor-Combinat 
I have implemented streams and formal power series building on that concept.

I have not checked Axiom, but I guess defining a series like

s: FormalPowerSeries(Integer) := new();
set!(s, 1 + monom * s * s);

is not possible. Am I wrong? Maybe the delay keyword allows it??? (Could 
someone show me?)

Of course, I would rather like to write

s := 1 + monom * s * s;

or perhaps with == instead of :=, but that would really require lazyness.

Ralf

On 02/25/2007 08:36 PM, Gabriel Dos Reis wrote:
> Hello,
>
>   Axiom's implementation of Boot's and Spad source includer
> (src/boot/btincl2.boot, src/interp/cstream.boot) uses lazyness (faked
> through function "Delay").  This is also variously known as zipper.
> My quesion is how much of the complexity introduced by faking
> lazyness actually outweight the benefits?  Is the lazyness actually
> beneficial? 
>
> -- Gaby