Offtop: ada programming
Per Dalgas Jakobsen
pdj at knaldgas.dk
Wed Jun 24 16:47:04 UTC 2020
I've been using Assembler, C, C++, C#, Pascal, Delphi, etc. but never
found a language so pleasant to use on larger projects than Ada - A
shame that it's knowledge is not more widespread. Maintaining a +30 year
old code base of +1MSLOC written in Ada turned out *not* to be a
nightmare :-) - On the contrary, implementing Web Services (SOAP and
REST) and Web Clients into this old code base was actually quite easy.
The old saying/joke: "If it compiles it works" is *almost* right.
Together with two friends I programmed an autonomous robot in Ada for a
competition - I actually considered RTEMS for the job, but were too
lazy, so we used Linux for this one, perhaps next year should be with RTEMS?
If you are interested there is a video of its final run (Danish
Anyhow, books, guidance, etc.:
* Book: "Programming in Ada 2012" by John Barnes, ISBN 978-1-107-42481-4
* IRC: #Ada
* Google group: https://groups.google.com/forum/#!forum/comp.lang.ada
See you out there :-)
On 6/24/20 5:27 PM, Joel Sherrill wrote:
> On Wed, Jun 24, 2020 at 3:39 AM Ярослав Лещинский
> <midniwalker at gmail.com <mailto:midniwalker at gmail.com>> wrote:
> AFAIK RTEMS has an ada support maybe someone can suggest any
> useful manual, guides, books, etc about this language? Level -
> Yes. When you use the RSB to build the RTEMS C and C++ tools, there is
> an option to enable building Ada support.
> As to learning Ada, GNU Ada (GNAT) was initially developed to provide
> a path for folks to learn Ada and make it more approachable. AdaCore
> still carries on that mission and has https://learn.adacore.com/ which
> should be a good starting point. Once you are past
> that, https://en.wikibooks.org/wiki/Ada_Programming/Tutorials lists a
> number of other tutorials.
> You may be surprised to learn that Ada95 is still very widely used and
> introduced some object-oriented support. Ada 2005 added more
> object-oriented capabilities. Ada 2012 added the SPARK annotation
> which allows for formal program correctness checks. There are
> obviously other differences between the editions of the language but
> those are the highlights.
> Ada is strongly typed, includes tasking, and was designed for use in
> critical systems. A goal is to find errors at compile or analysis time
> and not in the field.
> Learn it as a language on a native platform and then try it on RTEMS
> once you are comfortable with it.
> Kind regards,
> *Yaroslav Leshchinsky*
> users mailing list
> users at rtems.org <mailto:users at rtems.org>
> users mailing list
> users at rtems.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the users