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,b61052ba3fdc8c26
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-05 22:35:40 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.ems.psu.edu!news.cis.ohio-state.edu!news.maxwell.syr.edu!pln-e!spln!dex!extra.newsguy.com!newsp.newsguy.com!drn
From: peter@nospam <peter_member@newsguy.com>
Newsgroups: comp.lang.ada
Subject: Re: Integers and Mathematical Correctness
Date: 5 Nov 2001 22:06:50 -0800
Organization: Newsguy News Service [http://newsguy.com]
Message-ID: <9s7ulq02pdq@drn.newsguy.com>
References: <h8ZD7.46340$a14.5285167@news6-win.server.ntlworld.com>
 <1f26o22.1xfvwvo111pfi4N%csampson@inetworld.net> <9rrsou$bl1$1@nh.pace.co.uk>
 <3BE4232D.6CC9ACA3@adaworks.com> <9s68pu$9j5$1@nh.pace.co.uk>
 <G2JF7.8287$kb6.186917@nntp3.onemain.com>
 <3BE766F6.3D014CD8@worldnet.att.net>
NNTP-Posting-Host: p-706.newsdawg.com
X-Newsreader: Direct Read News 2.90
Xref: archiver1.google.com comp.lang.ada:15900
Date: 2001-11-05T22:06:50-08:00
List-Id: <comp.lang.ada>

In article <3BE766F6.3D014CD8@worldnet.att.net>, James says...
>
 
>Note that this error would have been caught by an Ada compiler.
>C never notices the problem at all.
>
 
Many languages do not notice these things and more, but people still use
them, much more than Ada, and they spend long hours in the 'debugger' trying
to find why the problem does not work (then feel so good about finding the
bug). There is a whole industry out there build around debugging C 
flavoured languages.  

I wonder if the latest C flavoured language 'C#/windows only language',  
from Microsoft fixes some of these problems?