Ada noob here! Is Ada widely used?
in [ADA]
|
Prev: Symbolic tracebacks on Debian (Was: About static libraries and Debian policy)
Next: Gnat cross compiler
From: Duke Normandin on 23 May 2010 13:37 On 2010-05-23, Bruno Le Hyaric <bruno.lehyaric(a)gmail.com> wrote: > 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. ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | V I'm not following what you mean with this phrase? > 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. The right tool for the job, etc etc > To finish, Ada is not bad, but I wouldn't base my professional career > on it. I don't suppose that there are too many Ada shops around anymore. A bit like COBOL that way. ;) > One question, why did Lockheed Martin choose C++ for avionics software > on the JSF aircraft project? Because they're all a bunch of masochists? They're looking for a major FU down the road? Who knows? -- Duke *** Tolerance becomes a crime, when applied to evil [Thomas Mann] ***
From: (see below) on 23 May 2010 14:32 On 23/05/2010 14:26, in article 22aKn.4575$Z6.3399(a)edtnps82, "Duke Normandin" <dukeofperl(a)ml1.net> wrote: > On 2010-05-23, Yannick Duch�ne <yannick_duchene(a)yahoo.fr> wrote: >> Le Fri, 21 May 2010 00:58:26 +0200, Duke Normandin <dukeofperl(a)ml1.net> a >> �crit: >>> Ada continues to attract me; but so does Miranda ( and Giselle and Sophie >>> ...) ;) >> These are two very different paths. Miranda would be more close to what >> are ?domain specific languages?... well, not exactly, but close. >> > > Domain-specific? How so? Because it's a functional language, and therefore > only good for ..... Not much at all. -- Bill Findlay <surname><forename> chez blueyonder.co.uk
From: Duke Normandin on 23 May 2010 15:10 On 2010-05-23, (see below) <yaldnif.w(a)blueyonder.co.uk> wrote: > On 23/05/2010 14:26, in article 22aKn.4575$Z6.3399(a)edtnps82, "Duke > Normandin" <dukeofperl(a)ml1.net> wrote: > >> On 2010-05-23, Yannick Duch�ne <yannick_duchene(a)yahoo.fr> wrote: >>> Le Fri, 21 May 2010 00:58:26 +0200, Duke Normandin <dukeofperl(a)ml1.net> a >>> �crit: >>>> Ada continues to attract me; but so does Miranda ( and Giselle and Sophie >>>> ...) ;) >>> These are two very different paths. Miranda would be more close to what >>> are ?domain specific languages?... well, not exactly, but close. >>> >> >> Domain-specific? How so? Because it's a functional language, and therefore >> only good for ..... > > Not much at all. > Yeah, right! Whatever... ;) -- Duke *** Tolerance becomes a crime, when applied to evil [Thomas Mann] ***
From: (see below) on 23 May 2010 15:22 On 23/05/2010 20:10, in article g4fKn.4602$Z6.1681(a)edtnps82, "Duke Normandin" <dukeofperl(a)ml1.net> wrote: > On 2010-05-23, (see below) <yaldnif.w(a)blueyonder.co.uk> wrote: >> On 23/05/2010 14:26, in article 22aKn.4575$Z6.3399(a)edtnps82, "Duke >> Normandin" <dukeofperl(a)ml1.net> wrote: >>> Domain-specific? How so? Because it's a functional language, and therefore >>> only good for ..... >> >> Not much at all. >> > > Yeah, right! Whatever... ;) Tsk. Someone of our advanced years really shouldn't be caught dead \/\/hatevering. 8-) -- Bill Findlay <surname><forename> chez blueyonder.co.uk
From: Duke Normandin on 23 May 2010 15:40
On 2010-05-23, (see below) <yaldnif.w(a)blueyonder.co.uk> wrote: > On 23/05/2010 20:10, in article g4fKn.4602$Z6.1681(a)edtnps82, "Duke > Normandin" <dukeofperl(a)ml1.net> wrote: > >> On 2010-05-23, (see below) <yaldnif.w(a)blueyonder.co.uk> wrote: >>> On 23/05/2010 14:26, in article 22aKn.4575$Z6.3399(a)edtnps82, "Duke >>> Normandin" <dukeofperl(a)ml1.net> wrote: >>>> Domain-specific? How so? Because it's a functional language, and therefore >>>> only good for ..... >>> >>> Not much at all. >>> >> >> Yeah, right! Whatever... ;) > > Tsk. > Someone of our advanced years really shouldn't > be caught dead \/\/hatevering. 8-) > Advanced Years!! \/\/haaaatEVER! ;) Miranda doesn't think so.. :D -- Duke *** Tolerance becomes a crime, when applied to evil [Thomas Mann] *** |