Re: Lets get physical
From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Fri, 16 Jun 2006 01:59:12 GMT
Message-ID: <Qfokg.1070$Zk3.25260_at_ursa-nb00s0.nbnet.nb.ca>
>
> I think that's more or less what I remember seeing, *somewhere*. So,
> having gaps in my theoretical knowledge but not, I hope, so many as to
> make me feel I can't comment here and there, I think it is reasonable to
> test what I can see in the theory vis-a-vis update effort, storage size
> and other complexity such as whether the techniques imply garbage
> collection and so forth, counting pointers and such. Proof in the
> pudding and so forth.
>
> Since I have also admitted that it may well be that TRM's theory is
> deeper than I can think (i.e., it may contain more novelty than I can
> see, which I am willing to accept on faith from a source like FP)
Date: Fri, 16 Jun 2006 01:59:12 GMT
Message-ID: <Qfokg.1070$Zk3.25260_at_ursa-nb00s0.nbnet.nb.ca>
> Bob Badour wrote:
> ...
>
>> I may be deluding myself, but I had a little help... from Fabian. In >> private correspondence, he very briefly described TRM as an abstract >> implementation model that would lie between the logical relational >> model and the physical media. I don't pretend to know or understand >> anything about TRM.
>
> I think that's more or less what I remember seeing, *somewhere*. So,
> having gaps in my theoretical knowledge but not, I hope, so many as to
> make me feel I can't comment here and there, I think it is reasonable to
> test what I can see in the theory vis-a-vis update effort, storage size
> and other complexity such as whether the techniques imply garbage
> collection and so forth, counting pointers and such. Proof in the
> pudding and so forth.
>
> Since I have also admitted that it may well be that TRM's theory is
> deeper than I can think (i.e., it may contain more novelty than I can
> see, which I am willing to accept on faith from a source like FP)
being
> especially interested in faster, leaner and rm-faithful impl'ns, I don't
> have much choice but to try to approach it from conventional angles and
> hope something useful comes from that. This is my attempt to explain my
> motivation.
>
> p
Received on Fri Jun 16 2006 - 03:59:12 CEST