Прозорість посилань (інформатика)
З Вікіпедії, безкоштовно encyclopedia
Прозорість посилань і непрозорість посилань — це властивості частин комп'ютерних програм. Вираз називають прозорим за посиланнями, якщо його можна замінити на його значення і це не вплине на поведінку програми[1]. Для цього потрібно аби вираз був чистим - його значення повинно бути однаковим для однакових аргументів і обчислення не повинно створювати побічних ефектів. Вираз який не є прозорим за посиланнями називають непрозорим за посиланнями.
В математиці всі функції прозорі за посиланнями, за визначенням математичної функції. Проте, в програмуванні це не завжди так, і часто для уникнення плутанити використовуються терміни процедура та метод. Ключовою характеристикою функційного програмування є те, що воно дозволяє лише прозорі за посиланням функції.
Важливість прозорості посилань полягає в тому, що вони дозволяють програмісту та компілятору робити здогади про поведінку програми. Це може допомогти в доведенні коректності[en], спрощенні алгоритму, допомагає при зміні коду без отримання нових помилок або оптимізації коду за допомогою мемоізації, усунення спільних підвиразів, лінивого обчислення або паралелізації.