Dlaczego porównywanie wyników funkcji jest niedozwolonym wyjątkiem ochronnym w Erlang?

Question

Dlaczego jest to nielegalne?

min1_e_(F, X, E) -> 
    if 
     F(X + 2*E) < F(X + E) -> % ? 
      min1_e_(F, X, E*2); 
     true -> 
      E 
    end. 

To znaczy, jeśli zdefiniuję obie części wyrażenia osobno, to działa dobrze. Ale porównywanie zwrotów funkcji powinno być trywialne, czyż nie? Pomyśl, że brakuje mi czegoś więcej pod tym.

Answer 1

If Wyrażenie nie działa w Erlang w taki sam sposób, jak w innych językach programowania.

Według http://www.erlang.org/doc/reference_manual/expressions.html (pkt 7.7): Jeśli

gałęziach If-wypowiedzi są skanowane sekwencyjnie aż sekwencja straż GuardSeq których wartość true znaleziono.

W przykładzie wyrażenie F(X + 2*E) < F(X + E) traktowany jest nie jako normalnej ekspresji, ale jako wyrażenie straży, które mogłyby mieć non-deterministyczne wyniki (Erlang pozwala używać wyrażeń tylko deterministyczne w wyrażeniach straży), więc Erlang odmawia użycia go w wyrażeniu "jeśli".

Aby rozwiązać problem, zaleca się użycie zamiast tego wyrażenia case. Coś takiego:

min1_e_(F, X, E) -> 
      case F(X + 2*E) < F(X + E) of 
        true -> min1_e_(F, X, E*2); 
        false -> E 
      end.