Newsgroups: comp.lang.misc
Path: utzoo!utgpu!jarvis.csri.toronto.edu!turing.toronto.edu!holt
From: holt@turing.toronto.edu (Ric Holt)
Subject: Re: Representation independent languages
Message-ID: <89Apr3.170121edt.4328@turing.toronto.edu>
Organization: /usr/local/lib/organization
References: <1431@sw1e.UUCP> <1236@massormetrix.liu.se>
Date: Mon, 3 Apr 89 17:01:13 EDT

>Hi there, I am currently looking at the very interesting but curiously
>anonymous area of languages that support representation independent data
>structure facilities. 
>Goran Rydqvist					 gorry@majestix.liu.se

Law of Nature : There is no data without representation.
[In Boston: No taxation without representation.]

What the area is about is: automatic selection of data structures based
on specification of meaning.  Stating the goal as "representation
independent data structures" is oxymoronic.  Note that the specification
of meaning necessarily has representation.
	Ric Holt