From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!uunet!igor!rutabaga!jls
From: jls@rutabaga.Rational.COM (Jim Showalter)
Newsgroups: comp.lang.ada
Subject: Re: What is Ada9x?
Message-ID: <jls.670622633@rutabaga>
Date: 2 Apr 91 20:03:53 GMT
References: <1991Apr1.203028.13158@aucs.AcadiaU.ca>
Sender: news@Rational.COM
Distribution: na
List-Id: <comp.lang.ada>

>So what is Ada9x?. (I am a know-nothing student, interested
>in Ada).  8-)

The next generation of Ada. The Ada 9x process consists roughly
of four phases:

1) Solicitation of Ada user feedback on desirable enhancements/changes
2) Mapping of that feedback into revised Ada syntax/semantics
3) Feedback on the proposed mapping, evaluation of implementation tradeoffs.
4) Standardization of the changes in a new LRM and ANSI/ISO standard

There are also some other tasks involved, such as evaluating implementation
tradeoffs when more than one possible mapping exists.

Step #1 is completed. Step #2 is in process, and the first cut at the
mapping documents (and accompanying rationale) are complete and in
distribution, starting step #3. A summary of some of the goodies:

1)  Inheritance and polymorphism.
2)  Subprogram types and variables.
3)  Lighter weight concurrency constructs called protected records.
4)  User-definable default initialization, finalization, copy, etc.
5)  User-definable attributes.
6)  Hierarchical program libraries (subsystems).
7)  Improved separate compilation features via child comp units.
8)  Distributed programming support.
9)  Hierarchical grouping of exceptions.
10) More flexible generic parameterization.
11) Assertions.
12) New constructs such as "when..raise" and named statements.

I like what I see. They've managed to graft support for some new and
powerful features onto the language in a remarkably upward-compatible
manner, preserve the spirit of Ada '83, and yet come up with a language
that is more powerful, flexible, dynamic, and extensible. And all with
strong typing and tight binding. Check it out.
--
***** DISCLAIMER: The opinions expressed herein are my own, except in
      the realm of software engineering, in which case I've borrowed
      them from incredibly smart people.