diff --git a/syndicate/relay.rkt b/syndicate/relay.rkt index 549ff1a..8da0d42 100644 --- a/syndicate/relay.rkt +++ b/syndicate/relay.rkt @@ -2,6 +2,15 @@ ;; Cross-layer relaying between adjacent dataspaces ;; TODO: protocol for *clean* shutdown of a dataspace +;; TODO: Actually elide the need for relays entirely, by allowing an +;; actor to manifest in multiple dataspaces (multiple +;; points-of-attachment), and by placing assertions and subscriptions +;; directly in the dataspace concerned. (Done naively, this would +;; avoid manifesting observed assertions in intermediate nested +;; dataspaces; but then, if anyone cared, they'd be observing the +;; tuples themselves - right?? Oh, maybe observing the observers would +;; be an, er, observable difference.) + (provide (struct-out inbound) (struct-out outbound) quit-dataspace!