Оценка короткого замыкания
- Вычисление по короткому замыканию — семантика некоторых логических операторов в языках программирования.
- В языках программирования с отложенным вычислением (Lisp, Perl, Haskell) логические операторы приводят к короткому замыканию.
- В других языках (Ada, Java, Delphi) доступны операторы короткого замыкания и стандартные логические операторы.
- Операторы короткого замыкания являются управляющими структурами и не являются строгими арифметическими операторами.
- В императивных языках (C и C++) операторы короткого замыкания вводят точку последовательности.
- В ALGOL 68 использовалось управление процедурами для предотвращения короткого замыкания.
- Использование операторов короткого замыкания подвергалось критике из-за их побочных эффектов и усложнения формальных рассуждений о программах.
- В любом языке программирования, реализующем вычисление короткого замыкания, выражения x и y эквивалентны условному выражению if x then y else x.
- В строго типизированных языках выражение упрощается до if x then y else false и if x then true else y соответственно.
Полный текст статьи: