diff --git a/racket/syndicate/examples/actor/simple-cross-layer.rkt b/racket/syndicate/examples/actor/simple-cross-layer.rkt new file mode 100644 index 0000000..402b50f --- /dev/null +++ b/racket/syndicate/examples/actor/simple-cross-layer.rkt @@ -0,0 +1,11 @@ +#lang syndicate + +(assertion-struct greeting (text)) + +(spawn (assert (greeting "Hello from an outer dataspace actor!"))) +(spawn (on (asserted (greeting $t)) + (printf "Outer dataspace: ~a\n" t))) + +(dataspace (spawn (assert (outbound (greeting "Hello from an inner dataspace actor!")))) + (spawn (on (asserted (inbound (greeting $t))) + (printf "Inner dataspace: ~a\n" t))))