Название: Programming in Ada 2022
Автор: John Barnes
Издательство: Cambridge University Press
Год: 2024
Страниц: 959
Язык: английский
Формат: pdf
Размер: 14.8 MB

The latest version of 'Programming in Ada' covers the full details of the core language Ada 2022 as approved by ISO in 2023, including new features that aid program proof and the efficient use of multicore architectures. The book is arranged in four parts. The first part introduces the key ideas to the newcomer with a working example illustrating the basic ideas. The algorithmic features, structural features such as OOP and multitasking, and details of the standard library and interaction with the external environment are all covered in subsequent parts. This comprehensive guide includes several working examples and is enhanced by a range of supplementary online materials, including a dozen complete executable programs, five of which illustrate important new features. 'Programming in Ada' is a must-have for anyone looking to learn Ada programming language, and will serve as a definitive reference for years to come.

Ada 22 has arrived! The wheels of international standardization turn slowly even when there are no technical issues, so it was actually published in May 2023. We are at a point in time where many core processors are becoming ubiquitous and need to be used efficiently and reliably. Ada 2022 will help with this admirably. It also fills in some gaps in what should, with the benefit of hindsight, have already been in earlier versions of Ada.

And so the Ada programming language continues to evolve in order to better support the development of software applications with high requirements for reliability and system integrity. The 4th major revision of the language, Ada 2022, includes improvements in many different areas, but with particular focus on a few topics:

- allowing software developers to easily and safely take advantage of the parallel execution capabilities of multi-core and multi-threaded architectures;
- allowing developers to more precisely express their intent regarding a program’s structure and logic via improved contracts and other forms of assertions;
- providing improved support for containers;
- providing “creature comforts” to ease the use of common programming idioms.

The introduction of parallel loops and parallel block statements allows users to express the possibility of parallel execution of constructs that also have well-defined sequential semantics. The Global and Nonblocking aspects can be used to enable static detection of unsafe concurrent access to variables.

For folks who want to write software that works correctly (admittedly, a small audience), there is value in learning about Ada and, in particular, about Ada 2022. And for anyone who wants to learn about Ada, there is both value and fun in learning about it from John’s fine book.