Il lazy con scoping statico teorema di equivalenza tra lazy statica e eager equivale semanticamente (cioè nei risultati) alla valutazione eager in linguaggi semplici senza funzioni, pur differendo nelle operazioni compiute.
Il lazy con scoping statico teorema di equivalenza tra lazy statica e eager equivale semanticamente (cioè nei risultati) alla valutazione eager in linguaggi semplici senza funzioni, pur differendo nelle operazioni compiute.