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 17:33:39 -0500
Organization: JSA Research & Innovation
Message-ID: <p8umk5$shj$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 22:33:41 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="29235"; 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:51116
Date: 2018-03-21T17:33:39-05:00
List-Id: <comp.lang.ada>

"Dan'l Miller" <optikos@verizon.net> 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. The dustbin of 
history is full of ideas spawned by intelligent, well-meaning people (I can 
give plenty of examples even with Ada).

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.

                            Randy.