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

interface Numeric {
    fn add(a: Self, b: Self) -> Self;
    fn sub(a: Self, b: Self) -> Self;
}

implement Numeric for Int;
implement Numeric for Float;

fn add(a: Int, b: Int) -> Int {
    return 0;
}

fn sub(a: Int, b: Int) -> Int {
    return 0;
}

fn add(a: Float, b: Float) -> Float {
    return 0.0;
}

fn sub(a: Float, b: Float) -> Float {
    return 0.0;
}

fn<T> test(n: 'T [Numeric]) -> Bool {
    return true;
}

test(3);
test(3.5);