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
|
enum Foo(Zero, One(x:Int), Two(x:Int, y:Int), Three(x:Int, y:Text, z:Bool), Four(x,y,z,w:Int), Last(t:Text))
func choose_text(f:Foo->Text):
>> f
when f is Zero:
return "Zero"
is One(one):
return "One: $one"
is Two(x, y):
return "Two: x=$x, y=$y"
is Three(three):
return "Three: $three"
is Four:
return "Four"
else:
return "else: $f"
func main():
>> Foo.Zero
= Foo.Zero
>> Foo.One(123)
= Foo.One(123)
>> Foo.Two(123, 456)
= Foo.Two(x=123, y=456)
>> one := Foo.One(123)
>> one.One
= yes
>> one.Two
= no
>> Foo.One(10) == Foo.One(10)
= yes
>> Foo.One(10) == Foo.Zero
= no
>> Foo.One(10) == Foo.One(-1)
= no
>> Foo.One(10) < Foo.Two(1, 2)
= yes
>> x := Foo.One(123)
>> t := {x}
>> t:has(x)
= yes
>> t:has(Foo.Zero)
= no
>> choose_text(Foo.Zero)
= "Zero"
>> choose_text(Foo.One(123))
= "One: 123"
>> choose_text(Foo.Two(123, 456))
= "Two: x=123, y=456"
>> choose_text(Foo.Three(123, "hi", yes))
= 'Three: Three(x=123, y="hi", z=yes)'
>> choose_text(Foo.Four(1,2,3,4))
= "Four"
>> choose_text(Foo.Last("XX"))
= 'else: Foo.Last("XX")'
i := 1
cases := [Foo.One(1), Foo.One(2), Foo.Zero]
while when cases[i] is One(x):
>> x
i += 1
>> expr := when cases[1] is One(y):
y + 1
else:
-1
= 2
|
