Ada 程式設計/庫/容器/AI302
Ada 83 和 Ada 95 並未提供現在被稱為容器的內容，一種包含物件集合的庫單元。作為替代，存在許多公共和專有庫，它們具有不同級別的（通常沒有良好記錄的）安全功能；其中許多庫至今仍然存在，例如 Booch 元件。由於 Ada 主要針對其標準中規定的安全性，因此缺乏此類庫被認為是一個嚴重的缺失。有一組 Ada 95 AI 處理解決此問題的不同方法
基於 C++ STL，從 AI95-302-03 誕生了現在的容器庫 A.18: 容器 [註釋]。Matthew Heaney 完成了大部分工作，並於 2005 年獲得了 ACM SIGAda 獎，見 https://www.sigada.org/exec/awards/2005_SIGAda_Awards.pdf。另見 Charles。
由於包含許多執行時檢查（例如，所謂的篡改檢查），該庫可能不適用於某些專案；這些專案必須提供自己的版本。