Re: Ada-Oriented GUI

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

On Wednesday, March 21, 2018 at 5:33:43 PM UTC-5, Randy Brukardt wrote:
> "Dan'l Miller"  wrote in message 
> news:26a1fe54-750c-45d7-9006-b6fecaa41176@googlegroups.com...
> On Wednesday, March 21, 2018 at 12:43:04 PM UTC-5, Dmitry A. Kazakov wrote:
> >> So it is inconsistent unless packed into single thread. No difference,
> >> exiting GUI do just same.
> 
> >Well, more power to you then, because you can show all those Rx folks
> >where their entire worldview is horribly wrong from the git-go.
> 
> Obviously. :-) Their worldview appears to be that writing software that is 
> actually correct is impossible, so let's not even try.

Here you seem to considering the only correct program to be one that cavalierly mandates a designer-prescribed order to the arrival of UX-affecting events, from all of the UI, the OS, the network, and the completion of long-running backend processing.  Why is such an engineering-time whim the only definition of correctness.  Why is an engineering-time a-priori prescriptive order of event-arrival more correct than Rx's a-posteriori meticulous categorization & marshaling of a descriptive order of event-arrival so that all the outcome orderings can be overtly handled properly?

> The dustbin of 
> history is full of ideas spawned by intelligent, well-meaning people (I can 
> give plenty of examples even with Ada).

Some people have been trying to throw Ada into the dustbin of history several times over the decades.  And their efforts have partially succeeded:  the pro-Ada fervor on university campuses from the late-1970s through around 1990-ish* seems to have faded in North America, supplanted by Java Java Everywhere as the new mantra.

* when C++ non-cfront machine-code-generating-backend compilers reached some fractional degree of feature parity with then-extant Ada compilers

> If I'm wrong, then kill me. Please! A world where no program can be correct 
> is not a world that I can contribute to nor have any interest in living in.

A circle of friends devise a way of disciplining & marshaling & scheduling the arrival of an otherwise disparate cacophony of event flows occurring as a nature-of-the-beast in the real world, where that circle of friends has relatively little overlap with your circle of friends—and that is why you want to end it all?  Sheesh.  I don't know if I can talk you down from the ledge, Randy.  :-)  I suppose you could try to suppress the release of any RxAda library from now until the end of time to keep humanity safe from the reactive scourge of introducing a form of data-flow processing to Ada.  That would be one strategy to make life worth living, I suppose.