let val x = 3 val y = x val z = 3 val u = ref x val v = ref 3

10
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

Upload: demitrius-gryphon

Post on 31-Dec-2015

33 views

Category:

Documents


5 download

DESCRIPTION

Let val x = 3 val y = x val z = 3 val u = ref x val v = ref 3. Top. x. 3. y. z. 3. u. v. 3. Let val x = 3 val y = x val z = 3 val u = ref x val v = ref 3 val _ = u := 42. Top. x. 3. y. z. 3. u. 42. v. 3. Let val x = 3 val y = x - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Let    val x = 3   val y = x   val z = 3   val u = ref x   val v = ref 3

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

Page 2: Let    val x = 3   val y = x   val z = 3   val u = ref x   val v = ref 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

Page 3: Let    val x = 3   val y = x   val z = 3   val u = ref x   val v = ref 3

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

Page 4: Let    val x = 3   val y = x   val z = 3   val u = ref x   val v = ref 3

val a = (1, 2)val b = (a, a)val c = (42, ref b, a) Top

a

b

c

42

12

Page 5: Let    val x = 3   val y = x   val z = 3   val u = ref x   val v = ref 3

val a = (1, 2)val b = (a, #2(a))val c = (42, ref b, a) Top

a

b

c

42

12

1

Page 6: Let    val x = 3   val y = x   val z = 3   val u = ref x   val v = ref 3

val a = (1, 2)val b = (a, #2(a)+5)val c = (42, ref b, a) Top

a

b

c

42

7

12

1

Page 7: Let    val x = 3   val y = x   val z = 3   val u = ref x   val v = ref 3

val a = 2val b = (a, a+5)

Top

a

b

2 7

Page 8: Let    val x = 3   val y = x   val z = 3   val u = ref x   val v = ref 3

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

Page 9: Let    val x = 3   val y = x   val z = 3   val u = ref x   val v = ref 3

Val arr = Array.fromList([3, fn(x) => x+1])

3

Top

arrp: xp: x+1

Page 10: Let    val x = 3   val y = x   val z = 3   val u = ref x   val v = ref 3

Val x = [ref 1, ref 2, ref 3]Val a = hd xVal b = tl x Top

a

b

x::

1

::

2 3

::

nil