Ada 程式設計/Ada 2022
< Ada 程式設計
這是對Ada 2022的主要功能的概述，Ada 標準的最新版本。
Jorvik 是 Ada 任務功能的子集，類似於 Ravenscar，但限制更少，與 Ravenscar 配置檔案相比，去除了以下限制
- No_Implicit_Heap_Allocations
- No_Relative_Delay
- Simple_Barriers
- Max_Entry_Queue_Length => 1
- Max_Protected_Entries => 1
- No_Dependence => Ada.Calendar
- No_Dependence => Ada.Synchronous_Barriers
- 賦值目標名稱 @
- 方括號用於陣列聚合
- 型別的預設初始條件
- 預設泛型引數
- 宣告表示式
- 歸約表示式
- 迭代過濾器
- 廣義字面量
- Admission_Policy
- All_Calls_Remote
- Conflict_Check_Policy
- Elaborate_Body
- Generate_Deadlines
- Preelaborable_Initialization
- Preelaborate
- Profile 現在支援 Jorvik 配置檔案
- Pure
- Remote_Call_Interface
- Remote_Types
- Shared_Passive
- Aggregate
- Allows_Exit
- Default_Initial_Condition
- Dispatching
- Elaborate_Body
- Full_Access_Only
- Global
- Global'Class
- Integer_Literal
- Iterator_View
- Max_Entry_Queue_Length
- No_Controlled_Parts
- No_Return （對於函式）
- Nonblocking
- Parallel_Calls
- Parallel_Iterator
- Preelaborable_Initialization
- Put_Image
- Real_Literal
- Relative_Deadline
- Stable_Properties
- Stable_Properties'Class
- Static
- Static_Predicate
- String_Literal
- Synchronization
- Use_Formal
- Yield
- 'Enum_Rep
- 'Enum_Val
- 'Index
- 'Object_Size
- 'Parallel_Reduce
- 'Preelaborable_Initialization
- 'Put_Image
- 'Reduce
- 'Relative_Deadline
- Atomic_Operations
- 大數
- 容器