Цитата:
|
Очевидно, что компилятор с поддержкой хр обязан ее поддерживать, если она имеет место быть. Ты о чем то о своем разговариваешь.
|
Это в хаскеле так можно рассуждать. В супер-динамических языках всё гораздо сложнее. Я могу вставить какой нить new Function в тело функции и с большой долей вероятности никаких оптимизаций не будет.