[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Tom Lord
Subject: Re: [Gnu-arch-users] Re: Arch Cache & cached archives
Date: Thu, 16 Sep 2004 10:01:35 -0700 (PDT)

    > 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



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",

reply via email to

[Prev in Thread] Current Thread [Next in Thread]