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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-Thread: 1108a1,59ec73856b699922
X-Google-Attributes: gid1108a1,public
X-Google-Thread: fdb77,5f529c91be2ac930
X-Google-Attributes: gidfdb77,public
X-Google-ArrivalTime: 2003-05-01 08:56:16 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!sjc70.webusenet.com!news.webusenet.com!newsfeed2.earthlink.net!newsfeed.earthlink.net!newsfeed.news2me.com!news-out.visi.com!petbe.visi.com!uunet!ash.uu.net!spool0902.news.uu.net!not-for-mail
Date: Thu, 01 May 2003 11:56:13 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.4a) Gecko/20030313
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.java.advocacy,comp.object,comp.lang.ada
Subject: Re: Using Ada for device drivers? (Was: the Ada mandate, and why
 it collapsed and died)
References: <9fa75d42.0304230424.10612b1a@posting.google.com>
 <rVzpa.583781$3D1.323774@sccrnsc01>
 <9fa75d42.0304240446.493ca906@posting.google.com> <3EA7E0E3.8020407@crs4.it>
 <9fa75d42.0304240950.45114a39@posting.google.com>
 <4a885870.0304291909.300765f@posting.google.com>
 <416273D61ACF7FEF.82C1D1AC17296926.FF0BFD4934A03813@lp.airnews.net>
 <cf333042.0304300835.4800e03e@posting.google.com>
 <C73FB1279386F1CD.BF0175B06B325A3F.212017A5819C3CBB@lp.airnews.net>
 <9fa75d42.0305010621.55e99deb@posting.google.com>
 <0-WcnWfafqsNpiyjXTWcqw@gbronline.com>
In-Reply-To: <0-WcnWfafqsNpiyjXTWcqw@gbronline.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1051804573.732603@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1051804574  21309 204.253.250.10
Xref: archiver1.google.com comp.lang.java.advocacy:62985 comp.object:62474
 comp.lang.ada:36813
Date: 2003-05-01T11:56:13-04:00
List-Id: <comp.lang.ada>

Wesley Groleau wrote:
>> If you can hire well, a super-strong type safe
>> language will only annoy your best programmers,
>> who don't need the type safety to avoid bugs
>> but have to work around it for all the things
>> that they do need to do.  You can still deliver
> 
> What a crock.  Nothing stops these guys from declaring
> everything as "float" and wasting hours handling problems
> that the compiler could have handled.  If there are no
> such problems ....

I don't know where this notion arose that a "super-strong"
type system is just for preventing bugs. I know that in C++
the type system is an essential part of programming, given
the various static (templates) and dynamic (dispatching)
ways that types guide what code is executed. I'm sure it's
that way in Ada as well.