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.3 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f5de0f20558e30f2
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-01-13 22:38:09 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.uchicago.edu!newsswitch.lcs.mit.edu!newsfeed.cwix.com!newsfeed.icl.net!newsfeed.fjserv.net!proxad.net!teaser.fr!enst.fr!not-for-mail
From: "Grein, Christoph" <christoph.grein@eurocopter.com>
Newsgroups: comp.lang.ada
Subject: Re: Implicit Instantiations - was: Re: Why is Ada NOT a good choice
 for a beginner to programming?
Date: Tue, 14 Jan 2003 07:29:53 +0100 (MET)
Organization: ENST, France
Sender: comp.lang.ada-admin@ada.eu.org
Message-ID: <mailman.1042526288.3997.comp.lang.ada@ada.eu.org>
Reply-To: comp.lang.ada@ada.eu.org
NNTP-Posting-Host: marvin.enst.fr
Mime-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
X-Trace: avanie.enst.fr 1042526289 42138 137.194.161.2 (14 Jan 2003 06:38:09
 GMT)
X-Complaints-To: usenet@enst.fr
NNTP-Posting-Date: Tue, 14 Jan 2003 06:38:09 +0000 (UTC)
Return-Path: <christoph.grein@eurocopter.com>
X-Authentication-Warning: mail.eurocopter.com: uucp set sender to
 <christoph.grein@eurocopter.com> using -f
Content-MD5: Ltfi1fZ5XDPAqWkAhhnV9A==
X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc 
Errors-To: comp.lang.ada-admin@ada.eu.org
X-BeenThere: comp.lang.ada@ada.eu.org
X-Mailman-Version: 2.0.13
Precedence: bulk
X-Reply-To: "Grein, Christoph" <christoph.grein@eurocopter.com>
List-Unsubscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=unsubscribe>
List-Id: comp.lang.ada mail<->news gateway <comp.lang.ada.ada.eu.org>
List-Post: <mailto:comp.lang.ada@ada.eu.org>
List-Help: <mailto:comp.lang.ada-request@ada.eu.org?subject=help>
List-Subscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=subscribe>
Errors-To: comp.lang.ada-admin@ada.eu.org
X-BeenThere: comp.lang.ada@ada.eu.org
Xref: archiver1.google.com comp.lang.ada:32991
Date: 2003-01-14T07:29:53+01:00

> "Grein, Christoph" wrote:
> 
> > It is true, there are some places in Ada where implicit declarations or type
> > conversions are done, but implicit instantiations are as yet nowhere.
> 
> Implicit type conversions, along with implicit type promotions run
> counter to the Ada philosophy.
> 
> C++ does not provide the same kind of capability for declaring new
> numeric types one has in Ada.   This, in spite of the entertaining
> example from Mr. Rosen.
> 
> Typedef does not do the same thing.   We are still left with predefined
> types.
> 
> The whole idea of Ada is to declare types so they will be checked by
> the compiler and so mismatches will be caught.   If there is a problem
> with that, in the current standard, it needs to be fixed, but implicit
> conversions or promotions is simply a bad idea for this language.
> 
> Actually, I don't think there is really a problem here wrt Ada, even
> after reading your paper.
> 
> Richard Riehle

Richard,

from where in my paper do you get the impression that I might think there is a 
problem with Ada? I only state that there is no good way to do dimension 
checking during compile-time.

I find the C++ example doing compile-time checking intriguing and I thought it 
might be nice to have something like this in Ada. My concern was that adding 
implicit instantiations to Ada might harm other parts of the language. So we 
have 
the same opinion wrt this point.