Re: Ada-Oriented GUI

["Dan'l Miller" <optikos@verizon.net>]

On Wednesday, March 21, 2018 at 2:11:13 PM UTC-5, Simon Wright wrote:
> I suspect that Dmitry only meant that output-pending must occur before
> output-complete, whichever thread you view it from.

I assume that output here is event emission from the head-end of the river from the upstream perspective of producing output to downstream receivers that handle that output-from-upstream as input.  Event emission occurs in sequence from a single-threaded source in Rx.  Operating under than axiom, of course, events in flight within a sequence must occur and do get transmitted in sequence prior to later transaction-ending events unless those events in flight were declared (at the time of subscription) to be lossy & worthless upon successful or aberrant termination of the sequence.  Each sequence lacks asynchrony within itself, hence the term sequence.  Each sequence (as per a composable system) may be declared to retire/commit its own transactions independently of any pestering from any other sequences.  Each sequence (as per a composable system) may be declared to merge events from 2 or more sequences where those upstream events impact the processing of each other (e.g., Twitter newsfeed event arrival need to be rendered differently now that the human being rotated from portrait to landscape orientation; all that needs to done more power-conservingly now that the battery just crossed the 20% capacity in the downward direction; oh forget about all that right now! your all-hands-on-deck the-sky-is-falling stock-price trigger that you set last month just fired indicating that you should be urgently managing at your investment portfolio, not wasting time & precious battery power on Twitter; and so forth among drastically disparate realtime concerns).

(Here I am eliding the Rx jargon.  The river metaphor here is properly Rx's sequence [or also stream in RxJava].  The head-end metaphor here is properly Rx's Observable.  The downstream receiver metaphor here is properly Rx's Subscriber.  and so forth)