Если Вы имеете:
1) абстракцию двоичного потока (одинаковую и для внешней, и для оперативной памяти, и для любой другой реализации);
2) возможность метапрограммирования в языке (т.е. разбора типа RECORD-а и его свойств);
3) нормальные стековые RECORD (потому что в той же Жабе их нет),

то можно делать типизированные контейнеры, которые к тому же не грузят языковую кучу и сборщик мусора.

Библиотечный file of record, только на новом уровне, с абстракцией.