ISO approves Ada 2012 language standard
The International Organization for Standardization (ISO) has approved Ada 2012 language standard, according to a press release from Ada-Europe and the Ada Resource Association (ARA). ISO/IEC JTC 1 issued the formal approval on November 20th. Standards were published on December 15th.
A summary of the changes to ADA can be found at ARA's web site (www.ada2012.org/). Ada 2012's improvements include (according to this excerpt from ARA):
- Preconditions and postconditions define the expectations and obligations of a subprogram.
- Type invariants specify boundary constraints for objects of an encapsulated (private) type.
- Subtype predicates capture general constraints on data objects.
- Expression functions offer a convenient way to express simple functions.
- Conditional expressions provide a compact notation for a common idiom.
- Quantified expressions for universal and existential forms specify predicates over arrays and containers.
Concurrency and multicore support
- Task affinities and dispatching domains allow tasks to be mapped to specific CPUs or cores.
- Ravenscar for multiprocessor systems adapts a safe and widely used tasking profile to modern architectures.
- Bounded containers use stack allocation and do not incur the overhead of dynamic memory management.
- Task-safe queues and priority queues provide efficient implementations of synchronized structures.
- Holder containers create singleton structures for objects of an unconstrained type.
- Iterators provide familiar idioms with uniform syntax to search and manipulate arrays and containers.
Note: the above bullet points are verbatim from www.ada2012.org/.
Ada 2012 is under the jurisdiction of ISO/IEC JTC1/SC22/WG9. The ARA and Ada-Europe were sponsors of the standards review, which was conducted by Ada Rapporteur Group (ARG) subunit of WG9.
Press release is available here from Ada-Europe.
Jack Ganssle's "Ada gets a makeover"