Post on 31-Dec-2015
description
Let val x = 3 val y = x val z = 3 val u = ref x val v = ref 3 . . .
Top
x
y
z
u
v
3
3
3
Let val x = 3 val y = x val z = 3 val u = ref x val v = ref 3 val _ = u := 42
Top
x
y
z
u
v
3
3
3
42
Let val x = 3 val y = x val z = 3 val u = ref x val v = ref 3 val _ = u := 42 val _ = v := !u
Top
x
y
z
u
v
3
3
42
val a = (1, 2)val b = (a, a)val c = (42, ref b, a) Top
a
b
c
42
12
val a = (1, 2)val b = (a, #2(a))val c = (42, ref b, a) Top
a
b
c
42
12
1
val a = (1, 2)val b = (a, #2(a)+5)val c = (42, ref b, a) Top
a
b
c
42
7
12
1
val a = 2val b = (a, a+5)
Top
a
b
2 7
Let val s = BAR val t = BAZ 312 val u = QUX (42, ref 211, ref s) val v = nil val w = BAR :: s :: nil
Top
s
t
u
u
w
42
BAR
BAZ3
QUX
211
::
BAR
::
nil
Val arr = Array.fromList([3, fn(x) => x+1])
3
Top
arrp: xp: x+1
Val x = [ref 1, ref 2, ref 3]Val a = hd xVal b = tl x Top
a
b
x::
1
::
2 3
::
nil