valutazione eager

È la regola di valutazione “impaziente” (call by value) che consiste nel ritornare immediatamente la valutazione dell’espressione associata a una variabile appena essa è incontrata. Ciò vuol dire che nella semantica lazy le variabili possono essere associate solo a valori.

Nella semantica operazionale eager o strict anche detta call by value, l’ambiente è una mappatura tra i nomi delle variabili e i risultati della loro valutazione.

$$\text{Env}\ni E:\text{Var}\stackrel{\text{fin}}{⇝}\text{Val}$$

Regole di inferenza della valutazione eager per la versione lazy del linguaggio Exp:

$$\{\begin{array}{l}E⊢k⇝k\\ E⊢x⇝v(\text{se}E(x)=v)\\ \frac{E⊢M⇝v_{1}E⇝N⊢v_2}{E⊢M+N⇝v}(\text{se}{v}_1+v_2=v)\\ \frac{E⊢M⇝vE[x\mapsto v]⊢N⇝v^{\prime }}{E⊢\text{let}x=M\text{in}N⇝v^{\prime }}\end{array}$$

N.B.: $E[x\mapsto v]$ è l’ambiente $E$ aggiornato facendo il binding della variabile $x$ al valore $v$.

• teorema dell’equivalenza tra lazy statica e eager

Nei linguaggi che hanno le funzioni, eager si differenzia in statico e dinamico, perché stiamo introducendo gli effetti computazionali.