檔案和 IO 流

Ada 標準庫提供傳統文字或二進位制資料檔案的 I / O，以及流式檔案的 I / O. 二進位制資料的檔案將是一種型別的值的序列，而流檔案可以是可能不同型別的值的序列。

為了從/向流檔案讀取和寫入不同型別的元素，Ada 使用由型別屬性表示的子程式，即'Read，'Write，'Input 和'Output。除了 Read 和'Write 將執行的裸輸入和輸出之外，後兩者將讀寫陣列邊界，記錄判別式和型別標記。