Newsgroups: comp.lang.c++,comp.lang.smalltalk,comp.lang.eiffel,comp.lang.ada,comp.object
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!nntp.sei.cmu.edu!news.cis.ohio-state.edu!math.ohio-state.edu!howland.erols.net!news.mathworks.com!mvb.saic.com!eskimo!cgweav
From: Clayton Weaver <cgweav@eskimo.com>
Subject: Re: OO, C++, and something much better!
In-Reply-To: <JSA.97Feb25170653@alexandria>
X-Nntp-Posting-Host: eskimo.com
Content-Type: TEXT/PLAIN; charset=US-ASCII
Message-ID: <Pine.SUN.3.95q.970227090522.21721A-100000@eskimo.com>
Originator: cgweav@eskimo.com
Sender: news@eskimo.com (News User Id)
Organization: Eskimo North (206) For-Ever
References: <JSA.97Jan16141937@alexandria> <5de62l$f13$1@goanna.cs.rmit.edu.au><32FB8B51.1759@concentric.net> <vwjsp316ai1.fsf@saturn.dcs.aber.ac.uk><3302DB3E.F70@concentric.net> <yf3ybcsm5ce.fsf@sabi.demon.co.uk><JSA.97Feb14201247@alexandria> <yf3d8u0380w.fsf@sabi.demon.co.uk><JSA.97Feb17180522@alexandria> <yf34tf9csjy.fsf@sabi.demon.co.uk><JSA.97Feb21182801@alexandria> <vwjybcd2794.fsf@cassin.dcs.aber.ac.uk> <JSA.97Feb25170653@alexandria>
Mime-Version: 1.0
Date: Thu, 27 Feb 1997 17:15:59 GMT
Lines: 21
Xref: glinda.oz.cs.cmu.edu comp.lang.c++:250519 comp.lang.smalltalk:52264 comp.lang.eiffel:18691 comp.lang.ada:58005 comp.object:61632

I missed the beginning of this thread, but what's the point here? Isn't
it that operator overloading should not obfuscate the semantic intent of
an expression? Or worse, introduce grammatic indeterminacy in the
intermediate form? The point is not, from what I have seen, that the true
semantic implications of use of an operator can be traced by backtracking
through the code, but rather that the operator should make it clear in the
language implementation or choice of expression from many alternatives
(that all express the same operation-on-args) what semantic production is
invoked by an operator in context.

The inexact mapping (and this is exactly what it is) from mathematics to
computation in both directions appears to me to be debating the
applicability or clarity of expression of an example rather than the
central issues of the original discussion.

Regards, Clayton Weaver  cgweav@eskimo.com  (Seattle)





