We are pleased to announce the release of GNAT GPL 2008, the Ada Toolset for Academic users and FLOSS developers.

It introduces hundreds of enhancements including:

• Availability on the Windows .NET platform
• Upgrade of the debugging engine
• Improvement in robustness and efficiency for Ada 2005 features
• Many new warnings & restrictions to help programmers detect errors earlier
• Companion tools such as gprof, gcov, gnatcheck, gnatpp and gnatmetric are being enhanced to support a wider variety of needs, coding styles, and coding standards
• Support for Pre/Post conditions

GNAT GPL 2008 comes with version 4.2.1 of the GNAT Programming Studio IDE and GNATbench 2.1, the GNAT plug-in for Eclipse.

It is available on the GNU Linux (32 and 64 bit), .NET, and Windows platforms.

GNAT GPL 2008 can be downloaded from the “Download GNAT GPL Edition” section on https://libre.adacore.com/

Today in mail:

AdaCore is pleased to announce the launch of the new Ada Gems series. The Gems will cover a wide-range of Ada programming topics and will often include executable source code and other related resources to help understand and discover the Ada programming language. The first Gem, written by Bob Duff entitled “Limited Aggregates in Ada 2005”, is available at:

adacore.com/home/ada_answers/gems

If you didn’t read the Ada programming book I earlier recommended, then here’s the excerpt on Ada type system.

Note: the excerpt is taken from this chapter, with copyrights belonging to respective authors.

Here is the Ada types hierarchy (click for larger image):

Read the rest of this entry »

About a month ago I found this good Ada Programming book at Wikipedia Books.

I already have some (minor) knowledge in Ada, and read some books/tutorials. I had only started reading the above-mentioned book, but from the very “Basics” I liked the narration and details provided (e.g., I do not recollect encountering the renaming of packages as a short-cut used instead of ‘use’ing packages).

If the book continues in at least the same style, depth and examples enrichment, then I can recommend this book for those who want to study/refresh the Ada Programming knowledge and skills.

It is from this book that I learned that GNAT “is the only Ada compiler that supports all of the optional annexes of the language standard”.