Средства и методы разработки

Где-то в какой-то статье по функциональному программированию, которую я, как обычно, нифига не понял, описывалось, что в 60-е годы какой-то мужик из СССР разработал алгоритим идеального компилятора. Этот многступенчатный итерационный алгоритм на выходе генерирует некое формализованное действие, которое надо сделать над входными данными, чтобы в точности получить выходные. Я не помню, как называлась статья, где это было, но это что-то очень похожее. Из того совсем малого, что я понял в функциональном программировании, было то, что в FP можно избежать жесткого задания порядка действий. Типа дать компилеру неограниченную свободу. Теперь до меня начинает доходить, о чем это все. Нужно перечитать все книги по FP. Может, в этот раз чего пойму...