Offtop: ada programming

[Per Dalgas Jakobsen]

Hi,

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
speaking, sorry):
http://knaldgas.dk/~pdj/robocup/DTU_RoboCup_Roadrunner_Finale_2019.mp4

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 :-)

~Per


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:
>
>     Hello,
>
>     AFAIK RTEMS has an ada support maybe someone can suggest any
>     useful manual, guides, books, etc about this language? Level -
>     newbie. 
>
>
> 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.
>
> --joel
>
>
>     Thanks.
>     -- 
>     --
>     Kind regards,
>     *Yaroslav Leshchinsky*
>     _______________________________________________
>     users mailing list
>     users at rtems.org <mailto:users at rtems.org>
>     http://lists.rtems.org/mailman/listinfo/users
>
>
> _______________________________________________
> users mailing list
> users at rtems.org
> http://lists.rtems.org/mailman/listinfo/users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/users/attachments/20200624/5b48d1a2/attachment.html>