Ссылочная прозрачность
- Ссылочная прозрачность и непрозрачность ссылок — свойства лингвистических конструкций и языков.
- Лингвистическая конструкция называется ссылочно прозрачной, если замена подвыражения не изменяет значение выражения.
- Ссылочная прозрачность зависит от значений, связанных с выражениями, то есть от семантики языка.
- Декларативные и императивные языки могут быть ссылочно прозрачными или непрозрачными в зависимости от семантики.
- Важность ссылочной прозрачности: позволяет программисту и компилятору рассуждать о поведении программы.
- Ссылочная прозрачность связана с конструкциями и удержанием единичных терминов или предложений в единичных терминах или предложениях.
- В формальных языках существуют три фундаментальных свойства: ссылочная прозрачность, определенность и разворачиваемость.
- Ссылочная прозрачность, определенность и разворачиваемость независимы друг от друга, но связаны с детерминированными и недетерминированными языками.
Полный текст статьи: