Esempio di programma in SML (sintassi eager statica)

Eager-statico.sml

let
	val x = 1 
in
	let
	(* Essendo statico, si salva (y, x, E=((x,1))). Quando andra' a risolvere questo metodo, assegnera' x ad 1. *)
		val y = (fn z => x)
	in
		let
			val x = 2
		in 
			y 3
		end
	end
end;