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!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder1.news.weretis.net!newsfeed.CARNet.hr!news.metronet.hr!news1.t-com.hr!newsVIP.hr!not-for-mail
From: Gour <gour@atmarama.net>
Newsgroups: comp.lang.ada
Subject: Re: What exactly is the licensing situation with GNAT?
Date: Sat, 15 Nov 2014 13:41:57 +0100
Organization: VIP-NET
Message-ID: <20141115134157.10955d4e@atmarama.ddns.net>
References: <DA%7w.753721$Y4.288171@fx24.iad>
	<Jwy8w.500685$Ub6.487517@fx20.iad>
	<d4b8f45d-e327-4d78-a0d6-838aba063e4d@googlegroups.com>
	<lyoascltws.fsf@pushface.org>
	<YYE8w.620042$Lj7.284655@fx22.iad>
	<87389olqie.fsf@ixod.org>
	<zTF8w.509165$No4.167804@fx19.iad>
	<fca06fd0-6970-46a5-95b9-6b6317a37f7c@googlegroups.com>
	<aSG8w.567817$Q61.266688@fx13.iad>
	<m40odq$tdv$1@loke.gir.dk>
	<DbU8w.703256$Fo3.563225@fx09.iad>
	<m439g4$bq9$1@loke.gir.dk>
	<m43c6o$1v1$1@dont-email.me>
	<10d9w.55626$8w1.22302@fx12.iad>
	<150er0b62wsh3$.1xabmp81w5kdw.dlg@40tude.net>
	<2Oj9w.86043$uw3.37688@fx10.iad>
	<g7kfyy8dc0dn.vbx9yb5i07os$.dlg@40tude.net>
	<FAx9w.509649$_k.349560@fx16.iad>
	<20141115082255.58da7f92@atmarama.ddns.net>
	<fpp834zoy29v.rtzcsk7tjdem.dlg@40tude.net>
	<20141115115116.06fdf752@atmarama.ddns.net>
	<dsw8sybvubs4.leaj9ojn9brn$.dlg@40tude.net>
NNTP-Posting-Host: 109.227.35.115
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
X-Trace: sopnews1.vipnet.hr 1416055317 15013 109.227.35.115 (15 Nov 2014
 12:41:57 GMT)
X-Complaints-To: abuse@vip.hr
NNTP-Posting-Date: Sat, 15 Nov 2014 12:41:57 +0000 (UTC)
X-Newsreader: Claws Mail 3.11.1 (GTK+ 2.24.25; x86_64-pc-linux-gnu)
Xref: news.eternal-september.org comp.lang.ada:23372
Date: 2014-11-15T13:41:57+01:00
List-Id: <comp.lang.ada>

On Sat, 15 Nov 2014 12:26:02 +0100
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:

> Ignoring absurdity of the idea that engineering could exist without an
> underlying scientific discipline, 

Engineering is about being pragmatic and solving the (practical)
problems, while science is, supposed to, about finding the truth.

> if your interpretation of Dijkstra were that Ada is bad science and
> [maybe, he never said so] good engineering, then why you interpret his
> quote about OO differently?

Simply because OOP is not science, but just craft about one of many ways
how to solve problems.

> Wouldn't it be simpler just to accept that Dijkstra as ingenious he
> certainly was, regardless his enormous contribution to software
> engineering principles, e.g. "correct by construction", didn't
> understand software engineering well?

I hope you understand that I do not hold opinion that Dijkstra is
all-knowing God, but that does not mean that his quote about OOP as 'way
of solving problems' and Ada as 'science' are to be dismissed.


Sincerely,
Gour

-- 
Perform your prescribed duty, for doing so is better than not 
working. One cannot even maintain one's physical body without work.