Rationale for Ada 2005: Introduction
RUSTOPBACKNEXT|
ENG |
4. Conclusions
@ This overview of Ada 2005 should have given the reader an appreciation of the important new features in Ada 2005. Some quite promising features failed to be included partly because the need for them was not clear and also because a conclusive design proved elusive. We might think of them as Forthcoming Attractions for any further revision! @ Some esoteric topics have been omitted in this overview; they concern features such as: streams, object factory functions, the partition control system in distributed systems, partition elaboration policy for high integrity systems, a subtlety regarding overload resolution, the title of Annex H, quirks of access subtypes, rules for pragma Pure, and the classification of various units as pure or preelaborable. @ Further papers will expand on the six major topics of this overview in more detail. @ It is worth briefly reviewing the guidelines (see Section 2 above) to see whether Ada 2005 meets them. Certainly the Ravenscar profile has been added and the problem of mutually dependent types across packages has been solved. @ The group A items were about real-time and high-integrity, static error checking and interfacing. Clearly there are major improvements in the real-time area. And high-integrity and static error checking are addressed by features such as the overriding prefix, various pragmas such as Unsuppress and Assert and additional Restrictions identifiers. Better interfacing is provided by the pragma Unchecked_Union and the Mod attribute. @ The group B items were about improvements to the OO model, the need for a Java-like interface feature and better interfacing to other OO languages. Major improvements to the OO model are brought by the prefixed (Obj.Op) notation and more flexible access types. The Java-like interface feature has been added and this provides better interfacing. @ The final direct instruction was to incorporate the vectors and matrices stuff and this has been done. There are also many other improvements to the predefined library as we have seen. @ It seems clear from this brief check that indeed Ada 2005 does meet the objectives set for it. @ Finally, I need to thank all those who have helped in the preparation of this paper. First I must acknowledge the financial support of Ada-Europe and the Ada Resource Association. And then I must thank those who reviewed earlier versions. There are almost too many to name, but I must give special thanks to Randy Brukardt, Pascal Leroy and Tucker Taft of the ARG, to my colleagues on the UK Ada Panel (BSI/IST/5/-/9), and to James Moore of WG9. I am especially grateful for a brilliant suggestion of Randy Brukardt which must be preserved for the pleasure of future generations. He suggests that this document when complete be called the Ada Language Enhancement Guide. This means that if combined with the final Ada Reference Manual, the whole document can then be referred to as the ARM and ALEG. Thanks Randy.Rationale for Ada 2005: Introduction
ENGRUSTOPBACKNEXT4. Заключение.
@ Этот краткий обзор должен был дать читателю оценку новых важных особенностей Ады 2005. Некоторые весьма перспективные особенности не были включены в него, потому что потребность в них не была столь очевидна, а также потому что их заключительный дизайн оказался трудно реализуем. Мы пока можем думать о них как о Предстоящих Достопримечательностях для дальнейшего пересмотра!
@ Некоторые темы в этом обзоре были опущены; это касается таких особенностей как: потоки, функции фабрики объектов, система управления разделением в распределенных системах, политике разработки разделения для систем высокой целостности, тонкости относительно разрешения перегрузки, заголовка Приложения H, причуд ссылочных подтипов, правила для pragma Pure, и классификация различных модулей как pure или preelaborable.
@ Дальнейшие публикации подробно остановятся на шести главных темах этого краткого обзора более подробно.
@ Стоит напомнить, что была добавлена конфигурация Ravenscar, и была решена проблема взаимно зависимых типов в разных пакетах.
@ Элементы группы A были о работе в реальном времени и высокой целостности, статической проверки ошибок и связи с помощью интерфейса. Имеются важные усовершенствования в области реального времени. И к высокой целостности и статической проверке ошибок обращаются особенности, такие как префикс overriding, различные прагмы, такие как Unsuppress и Assert и дополнительные Restrictions идентификаторы. Лучшая связь с помощью интерфейса предоставлена прагмой Unchecked_Union и атрибут Mod.
@ Элементы группы B были об усовершенствованиях модели OOП, потребности в java-подобного интерфейса и улучшения связи с другими языками OOП. Главное усовершенствование в модели OOП это конечно разрешение префиксной нотации (Obj.Op) и более гибкие ссылочные типы. Был добавлен Java-подобнай интерфейс, и это обеспечивает лучшую связь модулей.
@ Было принято волевое решение включить средства для обработки векторов и матриц в стандартную библиотеку. Есть также много других усовершенствований предопределенной библиотеки, которые мы упомянули.
@ В этом кратком обзоре мы пытались показать что Ада 2005 действительно решает весь круг этих задач.
@ Наконец, я должен благодарить всех тех кто помог в подготовке этой статьи. Сначала я должен признать финансовую поддержку Ada-Europe и Ada Resource Association. Затем я должен благодарить тех кто делал обзор более ранних версий. Их слишком много чтобы здесь перечислить, но я должен выразить особенную благодарность Randy Brukardt, Pascal Leroy и Tucker Taft из ARG, моим коллегам из UK Ada Panel (BSI/IST/5/-/9)и James Moore из WG9. Я особенно благодарен за блестящее предложение Randy Brukardt, которое должно быть сохранено для удовольствия будущих поколений. Он предположил чтобы этот документ когда будет закончен назывался Ada Language Enhancement Guide (Руководством Расширения Ады). Это означает, в случае объединения с окончательным Справочным описанием Ады целый документ тогда может упоминаться как ARM and ALEG. Спасибо Randy.
2010-10-24 00:26:53
. .