Notes on eventual improvements to dataspace nesting
This commit is contained in:
parent
74cb70bdf3
commit
dd123f4a27
|
@ -2,6 +2,15 @@
|
||||||
;; Cross-layer relaying between adjacent dataspaces
|
;; Cross-layer relaying between adjacent dataspaces
|
||||||
;; TODO: protocol for *clean* shutdown of a dataspace
|
;; 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)
|
(provide (struct-out inbound)
|
||||||
(struct-out outbound)
|
(struct-out outbound)
|
||||||
quit-dataspace!
|
quit-dataspace!
|
||||||
|
|
Loading…
Reference in New Issue