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

/*
    The fact that this works is a design choice, since
    the type system cannot determine right now whether
    or not Array<'T> implements Test for every 'T.
*/

interface Test {
    fn test(v: Self);
}

fn test(v: Array<Int>) {}
fn test(v: Array<Float>) {}

implement<T> Test for Array<'T>;

fn<T> test2(v: 'T [Test]) {}

test2(arr<Int>());
test2(arr<Float>());