From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a24:f101:: with SMTP id c1-v6mr2749469iti.15.1521683003890; Wed, 21 Mar 2018 18:43:23 -0700 (PDT) X-Received: by 2002:a9d:528c:: with SMTP id f12-v6mr1365853oth.10.1521683003655; Wed, 21 Mar 2018 18:43:23 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!199-v6no287891itl.0!news-out.google.com!d3-v6ni235itf.0!nntp.google.com!u184-v6no290994ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 21 Mar 2018 18:43:23 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.233.194; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.233.194 References: <9ed9edb1-3342-4644-89e8-9bcf404970ee@googlegroups.com> <26a1fe54-750c-45d7-9006-b6fecaa41176@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <656fb1d7-48a4-40fd-bc80-10ba9c4ad0a4@googlegroups.com> Subject: Re: Ada-Oriented GUI From: "Dan'l Miller" Injection-Date: Thu, 22 Mar 2018 01:43:23 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:51120 Date: 2018-03-21T18:43:23-07:00 List-Id: On Wednesday, March 21, 2018 at 5:33:43 PM UTC-5, Randy Brukardt wrote: > "Dan'l Miller" wrote in message=20 > news:26a1fe54-750c-45d7-9006-b6fecaa41176@googlegroups.com... > On Wednesday, March 21, 2018 at 12:43:04 PM UTC-5, Dmitry A. Kazakov wrot= e: > >> So it is inconsistent unless packed into single thread. No difference, > >> exiting GUI do just same. >=20 > >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. >=20 > Obviously. :-) Their worldview appears to be that writing software that i= s=20 > actually correct is impossible, so let's not even try. Here you seem to considering the only correct program to be one that cavali= erly mandates a designer-prescribed order to the arrival of UX-affecting ev= ents, from all of the UI, the OS, the network, and the completion of long-r= unning backend processing. Why is such an engineering-time whim the only d= efinition of correctness. Why is an engineering-time a-priori prescriptive= order of event-arrival more correct than Rx's a-posteriori meticulous cate= gorization & marshaling of a descriptive order of event-arrival so that all= the outcome orderings can be overtly handled properly? > The dustbin of=20 > history is full of ideas spawned by intelligent, well-meaning people (I c= an=20 > give plenty of examples even with Ada). Some people have been trying to throw Ada into the dustbin of history sever= al times over the decades. And their efforts have partially succeeded: th= e 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 Eve= rywhere as the new mantra. * when C++ non-cfront machine-code-generating-backend compilers reached som= e 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 corre= ct=20 > is not a world that I can contribute to nor have any interest in living i= n. 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=E2=80=94and that is w= hy you want to end it all? Sheesh. I don't know if I can talk you down fr= om 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 f= rom the reactive scourge of introducing a form of data-flow processing to A= da. That would be one strategy to make life worth living, I suppose.