Re: Requesting critique of spec of my new MayLoad utility (similar to

On May 7, 12:07 am, make1.5.CalRob...@[EMAIL PROTECTED]
 (Robert Maas,
tables.
>
> The first draft of my description of the algorithms is here:
>   <http://www.rawbw.com/~rem/NewPub/MayLoadSpec.txt>
> I'm soliciting feedback in two areas:
> - Any obvious flaws in the algorithms, especially where I claim
>    that some fact is "provably true". Can you produce any
>    counterexample? Based on the described algorithms, can you find
>    any case where any value is unnecessarily re-calculated or
>    re-loaded or re-saved?
> - Any suggested changes in wording to make the description easier
>    to understand without changing the meaning.

I'm going to take a look at it. In the meantime, do you know this
paper:

  http://cs-www.cs.yale.edu/homes/dvm/papers/lisp05.pdf


> Also I'm curious whether anybody else has already written a utility
> like this, and if not I'm curious whether anybody likes my idea and
> might have a practical use for it and would like to beta-test it
> later when the code is more stable.

I'm very sure I will have use for this, please include me in that
testing phase.

  Leslie