Императивный код должны компиляторы создать из программ состоящих из чистых трансформаций.
Опять таки желательно чистыми трансформациями ast высокоуровневого кода -> асемблре
что есть у тебя 'чистая транформация' ? файл с диска читаешь, например, где тут чистота и транформация? транформация чего? пути до файла в массив байт внутри памяти программы? файла на диске в файл в памяти? так файл на диске вообще не является частью твоей проаграммы