Блин, ты где такие задачки находишь? :) Взял бы книжку по паскалю что ли почитал. :)
Типизированный файл на то и типизированный, чтобы при его объявлении указать его тип. И других способов дать знать компилятору тип файла в паскале не существует в принципе. Функция AssignFile связывает типизированный файл с конкретным файлом на диске.

Короче, тебе нужно типизированный файл объявлять внутри твоей функции, а передавать туда только имя файла и динамический массив, куда будут данные считываться. А как они будут считываться внутри функции описываешь.

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

Дорогой AndreyBond, у меня стойкое ощущение, что ты у нас пытаешься выяснить конечный этап реализации задачи, в то время как сам алгоритм её решения продуман как-то криво.
Давай сначала: ЧТО НУЖНО СДЕЛАТЬ? Считать из файлов информацию во внутрениие структуры данных? Сколько файлов, какие, что потом со структурам делается? Мы изначально знаем их именя и количетсво или это величины переменные? И вообще откуда взялись файлы с "типизированной струткурой"? Это данные самой программы или другой?

Что же касается файловых переменных, то они через указатель не передаются, поскольку и так уже являются указателями на структуру описния файла. Причём, если я правильно помню, то файловые переменные являются особым типом, который не разименовывается. Кстати, в паскале обычно принято в таких случаях использовать ключевое слово var перед названием параметра в объявлении процедуры или функции. То есть, если написать

procedure MyProc(var i:integer);

то при изменении значения i внутри процедуры после выхода из неё мы будем иметь это изменившееся значение, а если var не писать (стандартное объявление), то внутри поцедуры значение может меняться как угодно, но после выхода из процедуры значение переменной не изменится. В первом случае компилятор паскаля автоматически перейдёт на использование указателя, а во втором случае создаётся копия на стеке.

Ну, повторяется. Работать работает? :) Или хочется, чтобы было ещё лучше? :)

А если серьёзно, то можно написать и через функцию, но только без типизированных файлов. И вручную определять размер записи и количество байт, которые необходимо прочитать/записать. И не забывай, что у тебя не только файл типизированный, но ещё и массивы с элементами разного типа (то есть с разной длинной элемента). В результате ещё не факт, что выёдет сильно короче, но писанины будет явно больше, да и глюков там можно насажать таких, что не сразу и найдешь. Придётся ведь передавать рамзер элемента массива/файла и корректно изменять рамзеры массива и определять количество записей в файле. В приведённом тобой примере это всё делает сам компилятор, причём в большинстве случаев ещё на этапе компиляции. Но на то он и "язык высокого уровня".

Короче, из-за трёх файлов я бы не стал время тратить. Опять же, я уже давно record в чистом виде не использую, в основном объекты. При этом у меня все объекты умеют себя сохранять в поток и загружать из потока. Там тоже писанины, конечно, побольше, чем с типизированными файлами и массивами, зато потом появляется масса удобств. Да и это зависит от количества типов/классов. Когда их становится больше десятка, то выгоднее написать общие функции и процедуры, а иначе проще и быстрее написать несколько раз одно и тоже (благо функции copy/paste в Delphi работают очень хорошо :) ).