syndicate-2017/racket/syndicate/examples/example-wildcard-assertion-...

#lang syndicate/core
;; Demonstrate wildcard assertions.
;; One actor asserts everything except inbound/outbound assertions (which break
;; the ground VM). It therefore *subscribes* to everything too.

(require syndicate/pretty)

(actor (lambda (e s)
         (printf "Subscriber - Aggregate\n")
         (syndicate-pretty-print s)
         (printf "Subscriber - Patch\n")
         (syndicate-pretty-print e)
         (newline)
         (if (patch? e)
             (transition (update-interests s e) '())
             #f))
       trie-empty
       (patch-seq (assert ?)
                  (retract (outbound ?))
                  (retract (observe (inbound ?)))
                  (retract (inbound ?)) ;; not actually required for the purposes of this demo
                  ))
#lang syndicate -> #lang syndicate/core; first half of fix for #17. 2017-08-10 19:04:45 +00:00			`#lang syndicate/core`
Demos of wildcard assertions 2016-02-03 04:01:08 +00:00			`;; Demonstrate wildcard assertions.`
Split dataspaces in to relay and mux sublayers. This is a major change to the previous design, and also a change with respect to the semantics in the ESOP 2016 paper. All the complexity of echo-cancellation is stripped out of the core dataspace semantics, and the relaying protocol is changed from one constructor, `at-meta`, to two, `inbound` and `outbound`. The relay connecting a dataspace to its container is now completely symmetric with the contained actors: it initially asserts interest in what it is to relay, just like any other actor would. Dataspaces no longer treat relaying specially. This commit has updated all (I think) of the non-graphical examples. The graphical code remains to be done in a following commit. 2016-07-30 17:02:07 +00:00			`;; One actor asserts everything except inbound/outbound assertions (which break`
Demos of wildcard assertions 2016-02-03 04:01:08 +00:00			`;; the ground VM). It therefore subscribes to everything too.`

Alpha convert: prospect -> syndicate 2016-04-01 23:53:46 +00:00			`(require syndicate/pretty)`
Demos of wildcard assertions 2016-02-03 04:01:08 +00:00
swap the meaning of spawn and actor in racket syndicate 2017-02-15 23:18:19 +00:00			`(actor (lambda (e s)`
Demos of wildcard assertions 2016-02-03 04:01:08 +00:00			`(printf "Subscriber - Aggregate\n")`
Alpha convert: prospect -> syndicate 2016-04-01 23:53:46 +00:00			`(syndicate-pretty-print s)`
Demos of wildcard assertions 2016-02-03 04:01:08 +00:00			`(printf "Subscriber - Patch\n")`
Alpha convert: prospect -> syndicate 2016-04-01 23:53:46 +00:00			`(syndicate-pretty-print e)`
Demos of wildcard assertions 2016-02-03 04:01:08 +00:00			`(newline)`
			`(if (patch? e)`
			`(transition (update-interests s e) '())`
			`#f))`
Switch Syndicate implementation from route.rkt to trie.rkt. 2016-03-12 16:54:31 +00:00			`trie-empty`
Demos of wildcard assertions 2016-02-03 04:01:08 +00:00			`(patch-seq (assert ?)`
Split dataspaces in to relay and mux sublayers. This is a major change to the previous design, and also a change with respect to the semantics in the ESOP 2016 paper. All the complexity of echo-cancellation is stripped out of the core dataspace semantics, and the relaying protocol is changed from one constructor, `at-meta`, to two, `inbound` and `outbound`. The relay connecting a dataspace to its container is now completely symmetric with the contained actors: it initially asserts interest in what it is to relay, just like any other actor would. Dataspaces no longer treat relaying specially. This commit has updated all (I think) of the non-graphical examples. The graphical code remains to be done in a following commit. 2016-07-30 17:02:07 +00:00			`(retract (outbound ?))`
			`(retract (observe (inbound ?)))`
			`(retract (inbound ?)) ;; not actually required for the purposes of this demo`
			`))`