fungi-lang 0.1.52

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

fgi_mod!{
    /// Imperatively update a reference cell's content
    // XXX: Technically, this operation is only permitted by the editor (?)
    fn ref_update:(
        Thk[0] foralli X:NmSet. forall A.
            0 Ref[X]A ->
            0 A ->
        {X; 0} // <-- TODO: An editor-level operation only; we don't
        // have effect notation for this yet, but should.
        F Unit
    ) = {
        unsafe (2) trapdoor::ref_update
    }
}

pub mod trapdoor {
    // This code essentially extends the Fungi evaluator
    use dynamics::{RtVal,ExpTerm};
    use adapton::engine;

    pub fn ref_update(args:Vec<RtVal>) -> ExpTerm {
        match (&args[0], &args[1]) {
            (RtVal::Ref(r), v) => {
                //println!("ref_update: {:?} <-- {:?}", r, v);
                engine::set(r, v.clone());
                ExpTerm::Ret(RtVal::Unit)
            },
            (r, v) => panic!("expected a reference cell and value, not: {:?} and {:?}", r, v)
        }
    }
}