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

name n: Structural { .name = Str } = n.name

C = Class { .name = Str }
C.
    new name = C { .name = name }
D = Class { .name = Str; .id = Nat }
D.
    new name, id = D { .name = name; .id = id }

c = C.new "foo"
d = D.new "bar", 1

assert name(c) == "foo"
assert name(d) == "bar"

inner|T| x: Structural { .inner = T } = x.inner

E = Class { .inner = Int }
E.
    new inner = E { .inner = inner }
    __add__ self, other: E = E { .inner = self.inner + other.inner }

e = E.new 1

assert inner(e) == 1

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

_ = add 1, 2
_ = add e, e