nessa-language 0.9.1

An extensible programming language with a strong type system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

class Zero {}
type Succ<T> = (Zero, 'T);

fn<T> succ(n: 'T) -> Succ<'T> {
    return (Zero(), *n);
}

fn to_int(n: @Zero) -> Int {
    return 0;
}

fn<T> to_int(n: @Succ<'T>) -> Int {
    return get_1(n).to_int() + 1;
}

let n = succ(succ(succ(succ(Zero()))));

if to_int(n) != 4 {
    panic("Invalid conversion");
}