Chiusura (informatica): differenze tra le versioni

In [[ML programming language|ML]], il seguente codice definisce una funzione <tt>f</tt> che restituisce il parametro passatogli più 1:

 

fun f(x) = x + 1;

</source>

Se una funzione utilizza variabili libere, ossia non locali, al momento della sua definizione si crea una chiusura che ''cattura'' tali variabili. Per esempio, in questo frammento di codice:

 

val y = 1;

fun f(x) = x + y;

Per chiarire il ruolo dell'ambiente, si consideri il seguente frammento in [[ML programming language|ML]]:

 

let

val y = 1;