fungi-lang 0.1.63

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

#[test]
pub fn listing () { fgi_listing_test![

    let foo:(
        Thk[0] 
        { {@!}( ({@666} % {@777}) * ({@1} % {@2}) );
          {@!}( ({@666} % {@777}) * ({@1} % {@2}) ) }
        F Nat
    ) = {
        ret thunk
        let bar = {
            ws (nmfn (#x:Nm. (@666) * x)) {
                let (a1,b1) = { memo(name @1){ ret 111 } }
                let (a2,b2) = { memo(name @2){ ret 222 } }
                ret 0
            }
        }
        let baz = {
            ws (nmfn (#x:Nm. (@777) * x)) {
                let (a1,b1) = { memo(name @1){ ret 111 } }
                let (a2,b2) = { memo(name @2){ ret 222 } }
                ret 0
            }
        }
        ret 0
    }

    ret 0
]}