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

add|T: Type, U: Type, V: Type| x: Structural({ .__add__ = (self: T, other: U) -> V }), other: U =
    x.__add__(other)

a = add 1, 2
b = add a, 2
c = add b, 2
assert c == 7

_add x, y = add x, y

x = _add 1, 2
y = _add x, 2
z = _add y, 2
assert z == 7

w = _add -1, 2
assert w == 1

gt|T, U| x: Structural({.__gt__ = (self: T, other: U) -> Bool}), y: U = x.__gt__ y
assert gt(2, True)

length|T| x: Structural { .__len__ = (self: T) -> Nat } = x.__len__()

assert length("aaa") == 3
assert length(bytes("aaa", "utf-8")) == 3
assert length([1, 2]) == 2
assert length({"a": 1}) == 1
assert length({1, 2, 3}) == 3
assert length((1, 2, 3)) == 3
s as Str or Bytes = "a"
assert length(s) == 1

Imag = Trait {
    .imag = Nat
}
imag x: Structural Imag = x.imag
imag2 x =
    n = imag x
    n + x.imag
assert imag(1) == 0 # OK
assert imag2(1) == 0 # OK