-
Notifications
You must be signed in to change notification settings - Fork 0
/
Variables.log.fold
85 lines (72 loc) · 1.31 KB
/
Variables.log.fold
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
-- ## Let Expressions
let a = 1 in
print "The value of a is $a!"
let f a = a + 1 in
print "The value of (f a) is $(f 4)!"
-- With a record
let {
a = 1,
f b = b + 1,
factorial =
match n
| 0 -> 1
| n -> n * factorial (n - 1)
end,
factorial2 =
| 0 -> 1
| n -> n * factorial (n - 1),
c = 3
} in
print "The value of a, f b, c are $a, $(f 4), $c!"
end
-- With a block
let
a = 1
f b = b + 1
factorial n =
match n
| 0 -> 1
| n -> n * factorial (n - 1)
end
factorial2 =
| 0 -> 1
| n -> n * factorial (n - 1)
c = 3
in
print "The value of a, f b, c are $a, $(f 4), $c!"
end
-- ## Where Expressions
print "The value of a is $a!"
where a = 1
print "The value of (f a) is $(f 4)!"
where f a = a + 1
-- With a record
print "The value of a, f b, c are $a, $(f 4), $c!"
where {
a = 1,
f b = b + 1,
factorial n =
match n
| 0 -> 1
| n -> n * factorial (n - 1)
end,
factorial2 =
| 0 -> 1
| n -> n * factorial (n - 1),
c = 3
}
-- With a block
print "The value of a, f b, c are $a, $(f 4), $c!"
where
a = 1
f b = b + 1
factorial n =
match n
| 0 -> 1
| n -> n * factorial (n - 1)
end
factorial2 =
| 0 -> 1
| n -> n * factorial (n - 1)
c = 3
end