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,fd63afa4dc364b7e
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-03-29 15:53:02 PST
Newsgroups: comp.lang.ada
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.tele.dk!194.213.69.151!news.algonet.se!algonet!newsfeed.online.be!ams.uu.net!zur.uu.net!ash.uu.net!world!bobduff
From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Static typing (Was Re: Better support for garbage collection)
Sender: bobduff@world.std.com (Robert A Duff)
Message-ID: <wccn1a4878n.fsf@world.std.com>
Date: Thu, 29 Mar 2001 23:50:48 GMT
References: 
 <98m938$2iod0$1@ID-25716.news.dfncis.de><wcc1ys0du8j.fsf@world.std.com><98pgs1$32up7$1@ID-25716.news.dfncis.de><wccu24tr86u.fsf@world.std.com><Pine.BSF.4.21.0103160840560.2903-100000@shell5.ba.best.com>
	<wcck85pr56b.fsf@world.std.com>
	<98umc6$39coj$1@ID-25716.news.dfncis.de>
	<Pine.BSF.4.21.0103171448570.21157-100000@shell5.ba.best.com>
	<wccwv9o0xky.fsf@world.std.com>
	<Pine.BSF.4.21.0103171624210.21157-100000@shell5.ba.best.com>
	<wcc7l1l3hpm.fsf@world.std.com>
	<Pine.BSF.4.21.0103192012240.2056-100000@shell5.ba.best.com>
Organization: The World Public Access UNIX, Brookline, MA
X-Newsreader: Gnus v5.3/Emacs 19.34
Xref: supernews.google.com comp.lang.ada:6221
Date: 2001-03-29T23:50:48+00:00
List-Id: <comp.lang.ada>

Brian Rogoff <bpr@shell5.ba.best.com> writes:

> On Mon, 19 Mar 2001, Robert A Duff wrote:
> > All of the above points are related: the context should determine the
> > type of a literal.  Then, after overload resolution has determined the
> > type of a literal, there should be a compile-time check that it is of
> > the right form -- the form should not *determine* the type.  Eg, if the
> > type of 1.2 turns out to be Integer, that should be illegal.  If the
> > type of 1.2 could be either Integer or Float, that should be ambiguous
> > and therefore illegal, whereas in Ada, it chooses Float.
> 
> OK, I'm convinced. Maybe this next generation language should be named 
> "Grace" or "Hopper" ;-)

Why on Earth?!  G. Hopper, as far as I can tell, always thought all
these new-fangled languages (C, Ada, etc) are a waste of time -- we
should all go back to FORTRAN and COBOL.

;-)

- Bob