Re: [Gnu-arch-users] Re: Arch Cache & cached archives

[Tom Lord]

    > From: Andrew Suffield <address@hidden>

    > On Wed, Sep 15, 2004 at 04:49:38PM -0700, Tom Lord wrote:
    > > In fact, non ref-trans functions can (seemingly always) be converted
    > > to ref-trans functions with the addition of extra parameters.

    > Not strictly true, but a Turing machine can't compute a function
    > that can't be converted, so you won't encounter them in
    > conventional software.


I don't know how to prove it true but I can't think of any
counter-examples.

If:

        f()

is not referentially transparent, there is another function:


        f'(uid_for_run, sequence_number_of_call)


which is referentially transparent and which has the property that it
behaves like f() for a suitable choice of parameters.

Of course, if no two calls to f' are ever made with the same two
parameters then there is no point to memoizing or caching (unless you
are eagerly evaluating in anticipation of demand).

"More programmers than are should be skeptical of the axiom of
choice, as it relates to their craft",
-t