From dd123f4a275e63e339582bdcdcec553a12066a41 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 2 May 2018 13:19:18 +0100 Subject: [PATCH] Notes on eventual improvements to dataspace nesting --- syndicate/relay.rkt | 9 +++++++++ 1 file changed, 9 insertions(+) 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!