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: Martin on 24 May 2010 09:27 On May 24, 1:05 pm, "(see below)" <yaldni...(a)blueyonder.co.uk> wrote: > On 24/05/2010 08:55, in article > c7fcdde0-6644-4202-803a-42efff00c...(a)v37g2000vbv.googlegroups.com, "Martin" > > > > <martin.do...(a)btopenworld.com> wrote: > > On May 23, 7:32 pm, "(see below)" <yaldni...(a)blueyonder.co.uk> wrote: > >> On 23/05/2010 14:26, in article 22aKn.4575$Z6.3399(a)edtnps82, "Duke > > >> Normandin" <dukeofp...(a)ml1.net> wrote: > >>> On 2010-05-23, Yannick Duchêne <yannick_duch...(a)yahoo.fr> wrote: > >>>> Le Fri, 21 May 2010 00:58:26 +0200, Duke Normandin <dukeofp...(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 > > > Hi Bill, > > > Why do you say that?... One of my favourite static analysis tools is > > written in ML...it's definitely useful! > > Note that I did not say "good for nothing". 8-) > -- > Bill Findlay > <surname><forename> chez blueyonder.co.uk I took "Not much at all" to "tend toward" nothing! :-) I rather like functional languages - you have to rotate you mind through 90 degrees to use them if you're used to procedural languages but once you can think in that way, it seems very elegant and natural to me. -- Martin
From: Yannick Duchêne (Hibou57) on 24 May 2010 09:28 Le Mon, 24 May 2010 09:55:37 +0200, Martin <martin.dowie(a)btopenworld.com> a écrit: > Hi Bill, > > Why do you say that?... One of my favourite static analysis tools is > written in ML...it's definitely useful! > > -- Martin Which one please ? Can you be explicit ? -- There is even better than a pragma Assert: a SPARK --# check.
From: Martin on 24 May 2010 09:40 On May 24, 2:28 pm, Yannick Duchêne (Hibou57) <yannick_duch...(a)yahoo.fr> wrote: > Le Mon, 24 May 2010 09:55:37 +0200, Martin <martin.do...(a)btopenworld.com> > a écrit:> Hi Bill, > > > Why do you say that?... One of my favourite static analysis tools is > > written in ML...it's definitely useful! > > > -- Martin > > Which one please ? Can you be explicit ? > > -- > There is even better than a pragma Assert: a SPARK --# check. PolySpace - it used MLton. -- Martin
From: Yannick Duchêne (Hibou57) on 24 May 2010 11:19 Le Mon, 24 May 2010 15:40:50 +0200, Martin <martin.dowie(a)btopenworld.com> a écrit: > PolySpace - it used MLton. > > -- Martin Re-Please, How does it compares to SPARK ? (providing a comparison is meaningful, otherwise, just tell) -- There is even better than a pragma Assert: a SPARK --# check.
From: Luis Espinal on 24 May 2010 14:01
In article <7GwJn.4712$z%6.3258(a)edtnps83>, Duke Normandin says... > >Thanks for the URLs! I visited >http://distrinet.cs.kuleuven.be/events/AdaEvent/abstracts.html#researchada > >To begin with. Looks like I should be learning SPARK? or should I start with >Ada, _then_ graduate to SPARK? I think you should learn either (SPARK or Ada), or maybe both (probably this is what you should do). In that case, I'd go with Ada first. I took an Ada class on my 3rd year at university, and from then one, it was my tool of choice (along with C++). I graduated, looked for Ada jobs, and could not find much. I went to grad school all the while still looking for Ada jobs. Eventually I settle to work with C++, and then with Java. I've been programming in Java for 11 years - 15 if I count the playing-around I did with it since it came up in 95. And now, finally I might be able to get a chance to work in C/C++. Still, every once in a while I search for Ada jobs. I keep seeing an opening for a Sr. Ada programmer to assist in a conversion to C++. Plus I keep seeing that people require X amount of years on Ada or C++ when hiring, so it is a chicken-n-egg kind of thing. Putting all that lamentation aside, and the fact that I've never worked with it, I'd say that it is the most influential language I've had (with the Pascal family of languages.) Ever since I learned it, all other languages have felt a bit lacking when it comes to develop software that is both 1) efficient and 2) looks and reads correct. I think I'm a good software developer and engineer, and I honestly don't think my skills would be as good as I think they are if it weren't because of Ada. Learning Ada is how I learned how to program correctly. This is strictly anecdotal and personal, so take it with a grain of salt. But my suggestion will be to learn Ada for the sake of it in the hope it will improve your skills and craft, however good they are now. If you happen to land a job in Ada, that will be an added bonus. Learning the language and solving non-trivial problems with them, that's all the justification one should need IMO. Good luck. - Luis Espinal. |