effetto computazionale

L’effetto computazionale è dove la valutazione di un linguaggio di programmazione differisce dalla matematica, cioè un side effect.

Ad esempio, in Java il $+$ non è commutativo come in matematica.

$$(x,3)⊢x+(x=7)⇝10\ne (x,3)⊢(x=7)+x⇝14$$