> The discussion of provisos has ALWAYS been an algebraic discussion
> and always related to spad-level programming. I'd like to have a
> proviso domain (or extend the SUCHTHAT domain) so we could form a
> continuation/future/closure over all or a portion of a computation
> and later evaluate it. I don't believe I mentioned lisp in that
> discussion anywhere. Perhaps I should have changed the Subject line.
> Clearly such a control mechanism would have to be supported by an
> underlying Lisp mechanism but that, as you say, is an implementation
> detail.
OK, then we are on the same side. If you add any nice language construct
to SPAD then fine.
> I'm not sure how Generators is related to provisos.
You mentioned Streams. I happen to have programmed Streams in
Aldor-Combinat.
http://www.risc.uni-linz.ac.at/people/hemmecke/AldorCombinat/combinatse12.html#x58-9900012
As you can see, a stream for me is an Array plus a Generator. So that
was my connection.
I am not so sure that I understand what a "continuation" is. I've
already read some text about that, but I seem not to get the difference
to Aldor's Generator concept. Maybe somebody can help. How would a
continuation in Aldor look like and how would that be different from the
Generator domain?
...
Thank you for the other references about literate programs.
Ralf
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
