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=-0.8 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,PLING_QUERY autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,b6d862eabdeb1fc4
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!q23g2000vba.googlegroups.com!not-for-mail
From: Bruno Le Hyaric <bruno.lehyaric@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada noob here! Is Ada widely used?
Date: Sun, 23 May 2010 09:50:02 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <8d5dbf6e-81fe-4419-aaad-118921a47b4a@q23g2000vba.googlegroups.com>
References: <jhaJn.4661$z%6.1650@edtnps83>
 <0e88de66-128c-48fd-9b9f-fdb4357f318a@z17g2000vbd.googlegroups.com>
	<XogJn.4313$Z6.4310@edtnps82> <tarujgrysngw.1ln7awtgq3otu.dlg@40tude.net>
	<m8jJn.4317$Z6.1405@edtnps82> <op.vc40fcksule2fv@garhos>
 <22aKn.4575$Z6.3399@edtnps82>
NNTP-Posting-Host: 82.235.146.90
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1274633402 28363 127.0.0.1 (23 May 2010 16:50:02
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 23 May 2010 16:50:02 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: q23g2000vba.googlegroups.com; posting-host=82.235.146.90;
	posting-account=lo1QOAoAAADLGA0niczGorVzlaizfa3-
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US)
	AppleWebKit/532.5 (KHTML, like Gecko) Chrome/4.1.249.1064
	Safari/532.5,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:11900
Date: 2010-05-23T09:50:02-07:00
List-Id: <comp.lang.ada>

Can I animate the debate with one opensource examples of Ada/Spark
usage from the NSA :
http://www.adacore.com/home/products/sparkpro/tokeneer/

Even if I did't have the time to review the whole project, it seems to
be a very good demonstration
of Ada/Spark usage with code generation, formal verification with Z
notation and cost effectiveness!

By the way, in my opininon, any computer language is not really
important, and should not be in the future...
only the deep understanding of concepts manipulated throw languages
are important.
So, choose one procedural language, one object oriented, one
functional, one formal...and so on... then learn them all!
Next you have to choose the right language to answer the problem
right.

To finish, Ada is not bad, but I wouldn't base my professional career
on it.


One question, why did Lockheed Martin choose C++ for avionics software
on the JSF aircraft project?


Bruno.