短絡乗算のようなものはありますか？

Question

は、我々は、すべての

if (False AND myFunc(a)) then 
... 

がif条件が真であることができる方法はありませんので、myFunc()を実行する気にしない、すなわち、論理式には約短絡を、知っています。

私はあなたの毎日の代数方程式の等価があるかどうかについての興味があった最初の項を評価するにはポイントがないC=0場合、

result = C*x/y + z 

を言います。 xとyがスカラーであったとしてもパフォーマンスはあまり重要ではありませんが、私たちが大きい行列であり、操作がコストがかかり（行列にも適用可能です）、確かに違いがあります。もちろん、if C!=0ステートメントを投げることで、このような極端なケースを避けることができます。

私の質問は、そのような機能が存在し、有用かどうかということです。私はあまりプログラマーではないので、おそらく私が出会ったことのないいくつかの名前の下にあります。もし私に教えてください:)

Answer 1

：遅延評価、非厳密な評価、必要によって呼び出し、いくつかの名前にすると、実際にははるかに強力なちょうどここ乗算を回避し、よりそこ。

HaskellまたはFregeなどの評価モデルが非厳密なプログラミング言語があります。そこには、あなたの「短絡」は乗算演算子を書くことは非常に簡単になり、たとえば次のようなものを書くことができます：「算術短絡が」ながら

infixl 7 `*?`  -- tell compiler that ?* is a left associative infix operator 
        -- with precedence 7 (like the normal *) 

0 *? x = 0   -- do not evaluate x 
y *? x = y * x  -- fall back to standard multiplication 

Answer 2

データが大きくて複雑で操作が高価な場合、操作の実装は高価な操作を行う前に適切なショートカットチェックを実行する必要があります。これは演算子の実装の内部的な詳細です（例えばmatrix *）が、実際には "multiply"という言語概念とは関係がなく、計算の記述方法にはほとんど影響しません。

あなたが話している概念は別の名前の下に行く