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

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

C = Class()
D = Class { .name = Int; .id = Nat }
D.
    __add__ self, _ = 1
    new name, id = D { .name = name; .id = id }

c = C.new()
d = D.new 1, 2

print! name(1) # ERR
print! name(c) # ERR
print! name(d) # ERR

inner|T: Type| 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

print! inner(1) # ERR
assert inner(e) == "a" # ERR

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

_ = add 1, "a" # ERR
_ = add e, 1 # ERR
x = add e, e
_ = add x, 1 # ERR
_ = add 1, x # ERR
_ = add Str(1), 1 # ERR
_ = add 1, Str(1) # ERR