fungi-lang 0.1.47

Fungi: A typed, functional language for programs that name their cached dependency graphs
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
65
66
67
68
69
70
71
72

#[test]
pub fn listing0 () { fgi_listing_test![
    decls {
        /// Optional natural numbers
        type List  = (+ Unit + (x Nat x List));

        /// Optional natural numbers
        type OpNat  = (+ Unit + Nat );
    }

    let nil:(
        Thk[0] 0 F List
    ) = {            
        ret thunk ret roll inj1 ()
    }
    
    let cons:(
        Thk[0] 0 Nat -> 0 List -> 0 F List
    ) = {            
        ret thunk #h.#t. ret roll inj2 (h, t)
    }

    let rec map:(
        Thk[0] 0 (Thk[0] 0 Nat -> 0 F Nat) -> 0 List -> 0 F List
    ) = {
        #f.#l. unroll match l {
            _u => { ret roll inj1 () }
            c => {
                let (h, t) = { ret c }
                let h2 = {{force f} h}
                let t2 = {{force map} f t}
                {{force cons} h2 t2}
            }
        }
    }

    let rec filter:(
        Thk[0] 0 (Thk[0] 0 Nat -> 0 F Bool) -> 0 List -> 0 F List
    ) = {
        #f.#l. unroll match l {
            _u => { ret roll inj1 () }
            c => {
                let (h, t) = { ret c }
                let t2 = {{force filter} f t}
                if {{force f} h} {
                    {{force cons} h t2}
                } else {
                    ret t2
                }
            }
        }
    }

    let rec map_filter:(
        Thk[0] 0 (Thk[0] 0 Nat -> 0 F OpNat) -> 0 List -> 0 F List
    ) = {
        #f.#l. unroll match l {
            _u => { ret roll inj1 () }
            c => {
                let (h, t) = { ret c }
                let t2 = {{force map_filter} f t}
                let oh2 = {{force f} h}
                match oh2 {
                    _u => { ret t2 }
                    h2 => {{force cons} h t2}
                }
            }
        }
    }

    ret 0
]}