2024-06-29 Управляемый ввод-вывод - библиотека для файлов на основе области видемости

Запись конференции Ada Developers Workshop 2024. Ведущий: Джеффри Р. Картер (Jeffrey R. Carter). Из его выступления: Была потребность на "Базовые файлы области видимости (файлы контролируемого типа), которые закрываются, когда выходят за пределы области видимости". Расширение Ada.Finalization.Limited_Controlled должен содержать Ada.*_IO.File_Type, а переопределение Finalize для закрытия файла, если он открыт, тривиально, поэтому я предполагаю, что автор искал что-то большее, чем это. В ответ я придумал Controlled_IO, способ работы с файлами, отличный от того, который используется в стандартной библиотеке. Файлы открываются/создаются, когда они объявлены, и закрываются, когда они выходят за пределы области видимости. Будет представлена библиотека, а также несколько простых примеров ее использования.