[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
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
- [Gnu-arch-users] Arch Cache & cached archives, Aaron Bentley, 2004/09/14
- Re: [Gnu-arch-users] Arch Cache & cached archives, Tom Lord, 2004/09/15
- [Gnu-arch-users] Re: Arch Cache & cached archives, Stefan Monnier, 2004/09/15
- Re: [Gnu-arch-users] Re: Arch Cache & cached archives, Tom Lord, 2004/09/15
- Re: [Gnu-arch-users] Re: Arch Cache & cached archives, Aaron Bentley, 2004/09/15
- Re: [Gnu-arch-users] Re: Arch Cache & cached archives, Tom Lord, 2004/09/15
- Re: [Gnu-arch-users] Re: Arch Cache & cached archives, Aaron Bentley, 2004/09/15
- Re: [Gnu-arch-users] Re: Arch Cache & cached archives, Andrew Suffield, 2004/09/16
- Re: [Gnu-arch-users] Re: Arch Cache & cached archives,
Tom Lord <=
Message not available
- Re: [Gnu-arch-users] Arch Cache & cached archives, Tom Lord, 2004/09/17
- Re: [Gnu-arch-users] Arch Cache & cached archives, Tom Lord, 2004/09/17
- Re: [Gnu-arch-users] Arch Cache & cached archives, Matthieu Moy, 2004/09/17
- Re: [Gnu-arch-users] Arch Cache & cached archives, Tom Lord, 2004/09/17
- Re: [Gnu-arch-users] Arch Cache & cached archives, James Blackwell, 2004/09/17
- Re: [Gnu-arch-users] Arch Cache & cached archives, Tom Lord, 2004/09/17
- [Gnu-arch-users] Manners, Pierce T . Wetter III, 2004/09/17
- Re: [Gnu-arch-users] Manners, Tom Lord, 2004/09/17
- Re: [Gnu-arch-users] Manners, Zenaan Harkness, 2004/09/17
- Re: [Gnu-arch-users] Manners, James Blackwell, 2004/09/17