Перевод императивного кода в функциональный

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

Я полагаю, что это можно сделать, передав TheWorld объект с каждым вызовом и возвратом функции, а затем оптимизация оттуда,пытаюсь удалить этот параметр из функций, где он не используется и т. д. Но есть ли лучший способ сделать это?