Gli ambienti sono utilizzati nella valutazione di espressioni. Un ambiente è una mappa tra i nomi delle variabili e:
- il risultato ottenuto valutando l’espressione a cui la variabile è collegata, se il linguaggio di programmazione usa la valutazione eager,
- una coppia , detta chiusura, dove è un’espressione e è un ambiente, se si usa la valutazione lazy.