At 16:49 +0100 1999/07/28, D. Tweed wrote:
>... I see now that you were describing how you could
>implement `language defined references' with semantics which mean that the
>problems that were pointed out don't happen.
Right.
I think that in a computer language one tends to think of the semantics as
defined via the language, whereas in math one creates a mental image of a
semantics (the notions) and then describes it via the notation (or the
language). So this possibility of resolve ambiguities by adding a more
complete picture to the semantics is often overlooked in computer
languages. Then, when the ambiguities have been resolved, one proceeds at
finding a better notation.
>Clearly with the new proposal
>assigning references at once & for all at creation time is by construction
>an ok model.
I am happy to see that my intuition seems to work from the cs point of
view. :-)
Hans Aberg
* Email: Hans Aberg <mailto:[EMAIL PROTECTED]>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>
