andalso/2が適切なBIFとして実装されていないのはなぜですか？

Question

erlang:'and'(true, false)のようなプレフィックスブール式を書くことはできますが、対応するandalsoまたはorelseの式はできません。どうして？

私はコア出力を見ると、それはandalsoとorelseのように見えるだけのマクロである - 例えば：

a(A,B) -> A and B. 

はコア

'a'/2 = 
    %% Line 4 
    fun (_cor1,_cor0) -> 
     call 'erlang':'and' 
      (_cor1, _cor0) 

に変換けどandalsoは

から行きます

b(A,B) -> A andalso B. 

~

'b'/2 = 
    %% Line 6 
    fun (_cor1,_cor0) -> 
     (case _cor1 of 
      (<('true' 
       -| ['compiler_generated'])> when 'true' -> 
        _cor0 
       -| ['compiler_generated']) 
      (<('false' 
       -| ['compiler_generated'])> when 'true' -> 
        'false' 
       -| ['compiler_generated']) 
      (<_cor2> when 'true' -> 
        (call ('erlang' 
          -| ['compiler_generated']):('error' 
                 -| ['compiler_generated']) 
         (({('badarg' 
           -| ['compiler_generated']),_cor2} 
          -| ['compiler_generated'])) 
        -| ['compiler_generated']) 
       -| ['compiler_generated']) 
      end 
      -| ['compiler_generated']) 

これは怠惰を防ぐためにこのように実装されているようですが、この手順にする必要はありません。後で翻訳されるcall 'erlang':'andalso'行がまだ存在する可能性があります。

erlang:'andalso'(A,B)はA andalso Bと等価ではないか、または「時期尚早な拡張」の何らかの種類がそれを難し​​くしていますか？

Answer 1

主な理由は、BIFの呼び出しは、引数が厳密であるという点で「通常の」関数の呼び出しと同じように動作します。すべて BIF /関数が呼び出される前に引数が評価されます。 andalsoとorelseとの区別は、はではなく最初の引数だけを評価するということです。最初の引数のどの値に応じて、2番目の引数を評価しても評価しなくてもかまいません。つまり、たとえBIFSであっても、コンパイラによって特別に処理されなければならないため、BIFを作成する際の注意点はほとんどありません。

また、拡張は非常に簡単であるため、BIFを特別に処理しているので、やっていることで得られる利益はほとんどありません。