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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada-Oriented GUI
Date: Wed, 21 Mar 2018 16:58:32 -0500
Organization: JSA Research & Innovation
Message-ID: <p8ukia$rn7$1@franka.jacob-sparre.dk>
References: <p8lpr4$bgl$1@dont-email.me> <p8t4t6$1j4v$1@gioia.aioe.org>
 <ea8acda4-bb00-43f5-b826-170bd8e0c2c9@googlegroups.com>
 <p8u168$1ag6$1@gioia.aioe.org>
 <9ed9edb1-3342-4644-89e8-9bcf404970ee@googlegroups.com>
 <p8u5j3$1ise$1@gioia.aioe.org>
 <26a1fe54-750c-45d7-9006-b6fecaa41176@googlegroups.com>
Injection-Date: Wed, 21 Mar 2018 21:58:35 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="28391"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:51112
Date: 2018-03-21T16:58:32-05:00
List-Id: <comp.lang.ada>

"Dan'l Miller" <optikos@verizon.net> wrote in message 
news:26a1fe54-750c-45d7-9006-b6fecaa41176@googlegroups.com...
...
>> The order is application level semantics.
>
>  Then the application is maldesigned, not conforming to the
> asynchrony of the various autonomous timelines in reality.

Maybe, but analysis of such asychronous events (unless *completely* 
separate, in which case they should be in separate programs) is beyond the 
capabilities of tools or humans except in the most trivial of cases. This 
leads to either being able to have correct code or code that really well 
models the system -- but never both. Ada of course leans toward correctness, 
as do I. The alternative is primarily garbage - that might appear to work 
but no one will ever know for sure.

                      Randy.