>>236
短絡評価は実装に限った話ではないですよ。
なぜCや、あるいはその他の言語でわざわざ
ショートカットを行なうと定義されているかわかりますか？
ショートカットをするかしないかで文の意味が変わるからですよ。
実装と意味という分け方は誤りかと。