Re: Ada-Oriented GUI

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

On Friday, March 23, 2018 at 7:59:38 AM UTC-5, Dmitry A. Kazakov wrote:
> On 23/03/2018 13:31, Alejandro R. Mosteo wrote:
> 
> > I (humbly) think that people not knowing Rx but arguing against it are 
> > barking at the wrong tree.
> 
> Yes, but this is a natural defense reflex against snake oil sellers.

But, Dmitry, you cocoon yourself in a layer of ignorance-is-BLISS (substituting several topics for that old DEC language) or perhaps even more than one layer.  To actually know that Rx and Ix are snake oil, you must first directly examine the actual product for sale, perhaps scientifically by deep empirical examination fitting of a biological dissection or plotting of Copernican planetary motion during The Enlightenment.  You've done nothing of the sort.  Your condemnations would be much more meaningful if you came back after 30 or 365 days to report that based on your in-depth analysis of actually extant source code and empirical executions thereof, the entire reactive-systems ideology is flawed at this & that points of departure at the git-go on which an entire house of cards is built.  But you've done nothing of the sort.

Just as in so many pseudo-science topics in the media today, science isn't some expert opining vociferously about topics based on hearsay or propaganda.  Science is not about pontificating a clung-to belief system; there exists a pontiff already for that.  Science is not about 97% of the mob-justice saying such-&-such.  Science is deliberate reproducible empirical examination (preferably via the Scientific Method with a control group and varying only a single variable) of extant reality.  Multiple people over a span of a decade are showing that by comparing the same app design before and after introduction of Rx in Swift and in Java and in C# eliminates defects by Rx's easing the visualization of how to properly handle multiple disparate eventflow arrival orderings in a very structured and disciplined way of focusing on river(s) of nouns rather than structured-programming-esque imperative verb-first mentality.  And that is today's bleeding-edge prototypical kludgy Rx at run-time, just to help out the human designer's mental clarity.  Imagine what Rx at compile-time with did-you-cover-all-the-cases checks could do.  Imagine compile-time checks on over or under conflation/folding/mapping of categories of event arrivals.  That doesn't sound like snake oil at all.  That sounds precisely like something an Ada-esque language would meticulously verify at compile-time.