Ada Resource Association

Updated Ada 2012 Rationale available

brukardt — Thu, 16 May 2013 22:24:45 +0000

An updated edition of the Ada 2012 Rationale is available at:

http://www.ada-auth.org/standards/rationale12.html

This edition of the Rationale combines the first seven chapters of the Rationale into a single document, fixes a number of errors, adds an index, and adds discussion of various details of Ada 2012 that were changed since the original publication of these chapters in the Ada User Journal. We expect that additional chapters will be added to this edition roughly every three months.

The Rationale for Ada 2012 provides an overview of new Ada 2012 features, examples of their use, compatibility with Ada 95 and 2005, and more. It was written by John Barnes, and was sponsored in part by the Ada Resource Association. This is an unofficial description of the language; refer to the Ada 2012 standard for detailed language rules.

Randy Brukardt, ARG Editor

Highlighting Ada on Social Media Sites

brukardt — Tue, 16 Apr 2013 23:58:50 +0000

Based on a discussion on comp.lang.ada, we’ve created a new category on our “Learning Materials” for social media sites, and added links to the Ada groups on a number of them:

Stackoverflow – Questions and answers for programmers
Google+ – Ada Programming Community
LinkedIn – Ada Group

All of these provide places to get help and information about Ada from other Ada users. We also added Planet Ada, a news and information site, to the website listings. These join the Reddit and Wikibooks sites, along with the old stand-by of the comp.lang.ada newsgroup, as places to go for Ada information.

Ada inflitrates strongSwan

brukardt — Sun, 07 Apr 2013 23:54:09 +0000

The popular strongSwan open source IPsec VPN project now makes use of Ada.

The latest strongSwan release 5.0.3 [1] contains support for the Trusted Key Manager (TKM), which is a separate process providing security critical operations of the IKEv2 protocol. The TKM has been implemented from scratch in Ada, using some of the new Ada 2012 contract features for added confidence of meeting the specification.

For more, see the project website at http://www.codelabs.ch/tkm/.

Free tools and libraries updates

brukardt — Mon, 11 Mar 2013 22:19:57 +0000

Here are some recent updates to our Free Tools and Libraries page:

March 13, 2013: Added Ada in Astrophysics site.
March 9, 2013: Added OpenGLAda and Yami4 libraries.

(This post will be periodically updated – Webmaster.)

Site updates

brukardt — Sat, 09 Mar 2013 01:36:23 +0000

There recently have been some questions about how often the pages here are updated. We try to verify the information on the pages at least twice per year, and of course we add information as it becomes available. For instance, today we added a couple of free libraries (OpenGLAda and Yami4) that we had previously unintentionally left out. If you find any stale information on our site, please use the contact page to tell us about it.

Updated ARA Edition of the Ada 2012 Rationale adds information on pools, iterators

brukardt — Thu, 28 Feb 2013 05:05:23 +0000

An updated edition of the Ada 2012 Rationale is available at:

http://www.ada-auth.org/standards/rationale12.html

This edition of the Rationale combines the first six chapters of the Rationale into a single document, fixes a number of errors, adds an index, and adds discussion of various details of Ada 2012 that were changed since the original publication of these chapters in the Ada User Journal. Newly added material includes discussions of new features related to iterators and storage pools. We expect that additional chapters will be added to this edition roughly every three months.

Ada drives Welsh social care model

brukardt — Tue, 11 Dec 2012 23:14:11 +0000

Ada keeps appearing in unusual places. Recently, we heard about a model that projects social care spending in Wales for the next 20 years. Large parts of the project were done in Ada. See Welsh Social Care Model for more details.

Corporate BS Generator

brukardt — Sun, 09 Dec 2012 23:33:33 +0000

This has been available for a while, but I don’t think we ever featured it here. CBSG is an Ada program that creates pages of the best (random and usually meaningless) corporate-speak available. It can be accessed on-line at CBSG and the source code is available.

Ada speaks many languages

AdaCore — Tue, 31 Jul 2012 07:28:29 +0000

We were recently contacted by Jovana Milutinovich asking if she could translate the Why Ada? archive page into Serbo-Croatian. Her work can be read here:

http://science.webhostinggeeks.com/zasto-ada

AdaMagica: Smart_Pointers with Ada 2012 functionality

jayre — Wed, 04 Jul 2012 15:39:14 +0000

Now that GNAT GPL 2012 implementing full Ada 2012 is out, reference counted access types use the new aspect Implicit_Dereference, which greatly simplifies the syntax. (The previous Ada 2005 implementation is also availible.)

This package provides a completely safe implementation in that it prevents deallocation by the user; deallocation is under sole control of the implementation. (It’s however not task-safe.)

Full documentation and test programs show how to use the package.

http://www.christ-usch-grein.homepage.t-online.de/Ada/Smart_Pointers.html