Skip to content

Instantly share code, notes, and snippets.

@FedericoPonzi

FedericoPonzi/Eager-statico.sml

Created March 25, 2015 14:10
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save FedericoPonzi/d28a49d5814748158c7e to your computer and use it in GitHub Desktop.
Save FedericoPonzi/d28a49d5814748158c7e to your computer and use it in GitHub Desktop.
Download ZIP
Esempio di programma in SML (sintassi eager statica)
Raw
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;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment