erg 0.6.53

The Erg programming language
Documentation 
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

i = if
i! = if!
f! = for!
w! = while!

cond = True
s = i cond:
    do "then block"
    do "else block"
assert s == "then block"

i! cond:
    do!:
        print! "then block!"
    do!:
        print! "else block!"

f! 0..<10, i =>
    print! "i = \{i}"

counter = !10
print! counter
w! do!(not(counter == 0)), do!:
    print! "counter = \{counter}"
    counter.update!(i -> Nat(i - 1))

counter2 = !2
not_zero!() = not counter2 == 0
while! not_zero!, do!:
    print! "aaa"
    counter2.dec!()

ii = 0 + 2 * 3 / 2 ** 2
j = -+1

k = !0
if! ii >= 0:
    do!:
        i = 2
        while! do!(k <= 2), do!:
            print! k
            for! [0, 1], i =>
                print! i + k
            k.inc!()

        match! k:
            0 => print! "zero"
            _ => print! "\{k}"

match! k:
    0 => print! "zero"
    _ => print! "\{k}"

ab = match ["a", "b"]:
    ["a", "a"] -> "aa"
    ["b", "a"] -> "ba"
    ["a", "b"] -> "ab"
    [_, _] -> "other"
assert ab == "ab"

arrs = [[0, 1], [2, 3]]

for! arrs, arr =>
    print! arr
    for! arr, elem =>
        print! elem