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
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

fn<T, G> map(array: @Array<'T>, f: (@'T) => 'G) -> Array<'G> {
    let res: Array<'G> = arr<'G>();

    for i in array {
        res.push<'G>(f<@'T, 'G>(i));
    }

    return *<Array<'G>>res;
}

fn<T> filter(array: @Array<'T>, f: (@'T) => Bool) -> Array<'T> {
    let res: Array<'T> = arr<'T>();

    for i in array {
        if f<@'T, Bool>(i) {
            res.push<'T>(*<'T>i);
        }
    }

    return *<Array<'T>>res;
}

let a: Array<Int> = arr<Int>();
a.push<Int>(1);
a.push<Int>(2);
a.push<Int>(3);
a.push<Int>(4);
a.push<Int>(5);

let b: Array<Int> = a.map<Int, Int>((n: @Int) -> Int n * 2);
let c: Array<Bool> = a.map<Int, Bool>((n: @Int) -> Bool n > 2);

if b<Int>[0] != 2 || b<Int>[1] != 4 || b<Int>[2] != 6 || b<Int>[3] != 8 || b<Int>[4] != 10 {
    panic("Invalid array contents");
}

if *<Bool>c<Bool>[0] || *<Bool>c<Bool>[1] || !*<Bool>c<Bool>[2] || !*<Bool>c<Bool>[3] || !*<Bool>c<Bool>[4] {
    panic("Invalid array contents");
}

let d: Array<Int> = a.filter<Int>((n: @Int) -> Bool n % 2 == 0);

if d<Int>[0] != 2 || d<Int>[1] != 4 {
    panic("Invalid array contents");
}