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-Thread: a07f3367d7,20280f498071efd3
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!goblin3!goblin.stu.neva.ru!news.weisnix.org!newsfeed.ision.net!newsfeed2.easynews.net!ision!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 15 Feb 2010 13:19:42 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Thunderbird 2.0.0.23 (Macintosh/20090812)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Software Quality in Science
References: 
 <1198a288-b013-45a8-907f-7fe227e6294e@m27g2000prl.googlegroups.com>
 <04185bf3-f83a-4fbe-b380-c6d8aa4105e6@w27g2000pre.googlegroups.com>
 <wcc6366x9em.fsf@shell01.TheWorld.com> <usk9917wf.fsf@stephe-leake.org>
 <alpine.LNX.2.00.1002151124260.17315@Bluewhite64.example.net>
In-Reply-To: <alpine.LNX.2.00.1002151124260.17315@Bluewhite64.example.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <4b793bdf$0$6568$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 15 Feb 2010 13:19:43 CET
NNTP-Posting-Host: 7171d04d.newsspool4.arcor-online.net
X-Trace: 
 DXC=?XAX35ZX6Ogj5k5aEF7ISm4IUK<Cl32<a4Fo<]lROoRa8kF<OcfhCOk<>_5CCM><;onc\616M64>jLh>_cHTX3jm]H<SEJ_SgWj
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:9224
Date: 2010-02-15T13:19:43+01:00
List-Id: <comp.lang.ada>

Colin Paul Gloster schrieb:
> On Wed, 10 Feb 2010, Stephen Leake wrote:
> 
> |---------------------------------------------------------------------|
> |"[..]                                                                |
> |                                                                     |
> |The programmers still have to specify the right switches, and pay    |
> |attention to the results, and know how to fix them, which is a       |
> |political/management/skill issue, not a language design issue.       |
> |                                                                     |
> |I know from personal experience that there is a satellite about to be|
> |launched who's control code has many remaining C warnings. Sigh."    |
> |---------------------------------------------------------------------|
> 
> Yes, people are idiots.

For making decisions (e.g. about ignoring warnings), programmers just have
a proven set of rules.  This set is defined by a certain rationality,
which is bounded, and not just technical:  it is also imposed by
tradition, knowledge, and management. It does sometimes make sense
---post hoc at least.  If this situation helps you live a peaceful life
with your family and friends, why bother with messy warnings at work?

At work, if the leading staff, adequately payed, thinks you should not
ignore warnings, then have them say when, and when not, to treat warnings
as errors. Or, at least have them delegate responsibility for defects
to you. OK, the latter is an unrelated issue.