Offtop: ada programming

[Joel Sherrill]

On Wed, Jun 24, 2020 at 3:39 AM Ярослав Лещинский <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
> http://lists.rtems.org/mailman/listinfo/users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/users/attachments/20200624/d88085f4/attachment.html>