| .תִכנו |
ссылочная прозрачность (говорят, что программа или математическое выражение ссылочно прозрачны, если любое подвыражение можно заменить его значением, и это не приведёт к изменению значения целого, т. е. скрытые побочные эффекты отсутствуют. Математические рассуждения, преобразования и доказательства корректности могут быть справедливыми только для выражений, обладающих этим свойством, А программы, написанные на обычных процедурных языках, не являются ссылочно прозрачными, так как присвоение значений глобальным переменным вызывает скрытые побочные эффекты. Достижение прозрачности – главная цель языков функционального программирования ssn); референциальная прозрачность (ssn); функциональная чистота (ssn) |
