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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

<link rel="stylesheet" href="../../../../css/reference.css">

## Binary


### := <span class="precedence">[ Precedence 100000 ]</span>


<table>
    <thead>
        <tr>
            <th>Overload</th>
            <th>Description</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>
                <code>&lt;T> (a: @'T) := (b: 'T) -> ()</code> 
            </td>
            <td rowspan="1">
                Assigns <code>b</code> to the value to which <code>b</code> is pointing
            </td>
        </tr>
    </tbody>
</table>

## N-ary


### ( ) <span class="precedence">[ Precedence 50 ]</span>


<table>
    <thead>
        <tr>
            <th>Overload</th>
            <th>Description</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>
                <code>&lt;R> (f: () => 'R)() -> R</code> 
            </td>
            <td rowspan="3">
                Calls <code>f</code> with the provided arguments
            </td>
        </tr>
        <tr>
            <td>
                <code>&lt;A1, R> (f: 'A1 => 'R)(a1: 'A1) -> R</code> 
            </td>
        </tr>
        <tr>
            <td>
                <code>&lt;A1, A2, R> (f: ('A1, 'A2) => 'R)(a1: 'A1, a2: 'A2) -> R</code> 
            </td>
        </tr>
        <tr>
            <td>
                <blockquote>
                    <p>Defined until length 30</p>
                </blockquote>
            </td>
        </tr>
    </tbody>
</table>