Преимущество ссылочной прозрачности в FP

Question

Я изучал функциональное программирование и наткнулся на термин ссылочная прозрачность.

После некоторых исследований я обнаружил, что RT полезен

1. Когда мы хотим сделать наш код более понятным и понятным, поскольку наша функция предсказуема И

2. Когда наша функция предсказуема, она будет очень полезна компилятору JIT, позволяя ему заменить функцию возвращаемым значением (она заменяет функцию своим значением до тех пор, пока функция горячая?).

Верны ли оба приведенных выше утверждения?

Answer 1

Ссылочная прозрачность означает, что функция с определенными параметрами всегда будет возвращать один и тот же результат, если входные параметры одинаковы, другими словами, она не имеет побочных эффектов. Конечно, одно из преимуществ заключается в том, что код легче рассуждать, потому что одно и то же выполнение будет возвращать одинаковые значения, поэтому вы можете изменить вызов функции по результату, который она возвращает.

Полагаю, это Эта функция используется многими компиляторами для ускорения выполнения путем внесения изменений, но это зависит от языка и компилятора, используемого для перевода в байт-код, но она мало связана с функциональным программированием как таковым.