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

import interface Hashable from hash;
import interface Castable from cast;

fn hash(n: Float) -> Int {
    return floor(*n);
}

fn cast(b: Bool) -> Int {
    return hash(*b);
}

implement Hashable for Float;
implement Castable<Int> for Bool;

fn<T> for_hashable(a: 'T [Hashable]) {}
fn<T, G> for_castable(a: 'T [Castable<'G>]) {}

for_hashable(3);
for_hashable(3.5);
for_hashable(true);

for_castable<Bool, Int>(true);
for_castable<Float, Int>(5.5);