Оценка короткого замыкания

• Вычисление по короткому замыканию – семантика некоторых логических операторов в языках программирования. 
• В языках программирования с отложенным вычислением (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 соответственно.