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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!Xl.tags.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 30 Oct 2014 17:33:19 -0500
From: Dennis Lee Bieber <wlfraed@ix.netcom.com>
Newsgroups: comp.lang.ada
Subject: Re: F-22 ADA Programming
Date: Thu, 30 Oct 2014 18:33:24 -0400
Organization: IISS Elusive Unicorn
Message-ID: <cve55ahk184ucebln1b7q4f0dra35pbcn6@4ax.com>
References: <m2on9t$tv6$1@dont-email.me>
 <99759c3f-a35f-4745-a8fd-2fb6ab6fb1aa@googlegroups.com>
 <m2p0g5$4d0$1@dont-email.me>
 <48dc1630-8e7d-4e29-8bdd-53d74932d9d0@googlegroups.com>
 <m2pakq$99g$1@dont-email.me>
 <88a7f98c-55c2-4b5f-8a9d-c8b7512781c8@googlegroups.com>
 <m2ptm9$h8a$2@dont-email.me> <pgdzu6hi3mcu.kx0szqbevtow$.dlg@40tude.net>
 <m2r7k7$2m2$2@dont-email.me>
 <50cacb19-5d0b-4dbe-b91b-0b3b462913d6@googlegroups.com>
 <9e6c5556-0454-406e-b49c-d5995934229c@googlegroups.com>
X-Newsreader: Forte Agent 6.00/32.1186
X-No-Archive: YES
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Usenet-Provider: http://www.giganews.com
NNTP-Posting-Host: 108.79.216.134
X-Trace: 
 sv3-djU2161S5LCmwelxnHJFjurkrSuRmO66dX35kUMTigKdTyxMwYwvTdDA8gRMCcgD3IPILQNz5tdtDZV!uwntXUxfC9kDOFo7WXJDRQzup7A42UY3CKbgJcKKQLro6tscYJw9ka1wt7RGDtfiCQVVqbIOp9Ey!PkBAjm1m1NZPkNVjt4DmO1IE8top
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2651
Xref: news.eternal-september.org comp.lang.ada:22935
Date: 2014-10-30T18:33:24-04:00
List-Id: <comp.lang.ada>

On Thu, 30 Oct 2014 08:49:16 -0700 (PDT), Alan Jump <alan.jump@gmail.com>
declaimed the following:


>With that said, no language, no matter how carefully crafted or how thoroughly validated or formally proven, can save a developer from a poorly-defined design question, nor the subsequent poorly-designed solution to that problem. If I am presented with a project, "write an application that does this and that", and I don't do the proper analysis of that project to determine precisely what's needed, it won't matter if I write the application in Ada, C++, Python, or Z/80 assembler...it WILL FAIL, because I didn't properly or adequately define the problem the application is intended to solve.
>

	And that is one justification for why the DoD dropped the "Ada mandate"
-- it was concluded that the analysis/design process had improved enough to
reduce the risk of using less strict languages {If you do enough front-end
work, and put checks on the coding practices, you don't need as much
compiler assistance}
-- 
	Wulfraed                 Dennis Lee Bieber         AF6VN
    wlfraed@ix.netcom.com    HTTP://wlfraed.home.netcom.com/