From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f51e93dacd9c7fca
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-18 12:10:04 PST
Newsgroups: comp.lang.ada
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp.abs.net!uunet!dca.uu.net!ash.uu.net!world!news
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: status of Ada STL?
Sender: news@world.std.com (Mr Usenet Himself)
Message-ID: <wccsn3kxv3g.fsf@shell01.TheWorld.com>
Date: Tue, 18 Jun 2002 19:09:07 GMT
References: <bebbba07.0206132321.23d72ac8@posting.google.com>
 <aedgoc$to7$1@news.iucc.ac.il>
 <bebbba07.0206151051.1c25cf1e@posting.google.com> <uu1o31wbb.fsf@wanadoo.fr>
 <bebbba07.0206161023.6073fd3a@posting.google.com>
 <3d0ce154_5@news.bluewin.ch>
 <bebbba07.0206162120.3acf4278@posting.google.com>
 <d%gP8.23130$gm5.4370500@news11-gui.server.ntli.net>
 <bebbba07.0206172212.4bc5cc3a@posting.google.com>
 <z%BP8.1523$AZ6.154892@news6-win.server.ntlworld.com>
 <wcck7owzljt.fsf@shell01.TheWorld.com> <ud6uolglz.fsf@w
NNTP-Posting-Host: shell01.theworld.com
Organization: The World Public Access UNIX, Brookline, MA
X-Newsreader: Gnus v5.7/Emacs 20.7
Xref: archiver1.google.com comp.lang.ada:26282
Date: 2002-06-18T19:09:07+00:00
List-Id: <comp.lang.ada>

Pascal Obry <p.obry@wanadoo.fr> writes:

> Robert A Duff <bobduff@shell01.TheWorld.com> writes:
> 
> > "chris.danx" <spamoff.danx@ntlworld.com> writes:
> > 
> > > I'm not going to argue with you (you've made up your mind and so have I,
> > > what's the point?), I'm just curious as to whether compilers would see A :=
> > > A / 2 and think "that code's dividing the matrix by 2 and assigning it to
> > > itself.  It might be better just to divide it inplace" leading to the same
> > > thing.  But then I'm largely ignorant of compilers.
> > 
> > I don't think any Ada compilers are that smart.
> 
> Ok, but that is a compiler issue, I don't see why it should not be possible
> and it is not a language issue.

It *is* a language issue.  It would be possible to design a language in
which the above optimization were trivial.  I'm not saying that's a good
idea, just that the language design has a large influence on what
optimizations are feasible.

- Bob