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,971aa11c293c3db1
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-07-18 13:31:10 PST
Path: archiver1.google.com!news2.google.com!postnews1.google.com!not-for-mail
From: codesavvy@aol.com (codesavvy)
Newsgroups: comp.lang.ada
Subject: Re: Ada The Best Language?
Date: 18 Jul 2001 13:31:10 -0700
Organization: http://groups.google.com/
Message-ID: <5be89e2f.0107181231.40bde882@posting.google.com>
References: <3B59EE1C@MailAndNews.com>
 <5be89e2f.0107180606.7185b1cb@posting.google.com>
 <3B559E79.F21DBE5C@earthlink.net>
NNTP-Posting-Host: 198.59.170.85
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 995488270 2209 127.0.0.1 (18 Jul 2001 20:31:10
 GMT)
X-Complaints-To: groups-support@google.com
NNTP-Posting-Date: 18 Jul 2001 20:31:10 GMT
Xref: archiver1.google.com comp.lang.ada:10196
Date: 2001-07-18T20:31:10+00:00
List-Id: <comp.lang.ada>

"Marc A. Criley" <mcqada@earthlink.net> wrote in message news:<3B559E79.F21DBE5C@earthlink.net>...
> codesavvy wrote:
> > 
> > Comparing the difference between Ada and C++ to the difference between
> > a higher level language and assembly is very silly.  It reeks of the
> > arrogance that I am describing.  Thanks for proving my point.
> 
> No, your question is bogus and the point proven is not what you think. 
> Here again is your original question:
> 

Questions regarding productiviy are bogus? Of course you ignore the
other question that pertains to the point I'm trying to make.

> "What class(es) of programming problems does Ada solve that C++ can't."
> 
> Any computable problem can be solved by an appropriately programmed
> Turing Machine (TM).  Programming language constructs can be converted
> into TM instructions (albeit very long and tedious ones). Therefore a
> C++ to TM compiler, an Ada to TM compiler, or an Assembly language to TM
> compiler, can solve any computable problem.
> 

Of course this is true but there are certain problems that are solved
more "productively" with certain languages as opposed to other
languages.

> That you asked this question demonstrates that you do not understand
> computability.  Therefore asking to compare programming languages (of
> any level) in terms of what can or cannot be programmed using them is
> (very) silly.  They are TM-equivalent.
> 

All this to put someone down.  I suggest you read my post again and
don't quote it out of context.  It's very simple really, all one has
to do is indicate some hard evidence that developers are significantly
more productive with Ada 95 than say C++.  Do you have anything
besides your opinions?


> Marc A. Criley
> Senior Staff Engineer
> Quadrus Corporation
> www.quadruscorp.com