A really quick note - when lifting functions to event processing, their inputs must happen simultaneously. One idea for simultaneosity in absence of global clocks is to define events as simultaneous iff their causes are equal.
More generally, all uses of timestamps might be replaced by causes. All these partial orders start looking similar to domain theory...
I will need to check how far this can get me.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment