Re: Ping: dawn, some mvl questions

"Bob Badour" <bbadour_at_pei.sympatico.ca> wrote in message news:PW7cg.10955$A26.268323_at_ursa-nb00s0.nbnet.nb.ca...
> JOG wrote:
>
> > There is a lot of ad-hoc discussion of lists on cdt. Now logical
> > statements, they appeal to me. They seem to provide the basis for a
> > solid theoretical framework. I can see where I stand with predicate
> > logic.
> >
> > As such, I would be much obliged if a List-point-of-view advocate,
> > could step back from the 'model' for a second, rewinding to the
> > original statements themselves, and explain to me how a list ought be
> > described in terms of formal logical propositions. Thanks in advance,
> > Jim.
> >
> > (caveat: I'd also appreciate a different example to bloody pizza
> > toppings ;)
>
> I would be happier if some bright person developed a notation useful for
> expressing transformations between sets and various physical
> representations including linked lists. That at least might prove useful
> for delivering physical independence.

That's one of the reasons why I liked Datatrieve so much. If you named a list in a context where a set was the correct type, Datatrieve knew what to do. Not that Datatrieve was perfect, mind you. It was just years ahead of its time. Received on Tue May 23 2006 - 13:17:23 CEST