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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6327f05d4989a68d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.100.74 with SMTP id ew10mr2627992wib.7.1356097092301;
        Fri, 21 Dec 2012 05:38:12 -0800 (PST)
Path: 
 i11ni244349wiw.0!nntp.google.com!proxad.net!feeder1-2.proxad.net!usenet-fr.net!gegeweb.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Press Release - Ada 2012 Language Standard Approved by ISO
Date: Fri, 21 Dec 2012 14:38:53 +0100
Organization: cbb software GmbH
Message-ID: <5hbdgpgh3kcj.gm1np69u6klm.dlg@40tude.net>
References: <kap6v8$mr7$1@dont-email.me>
 <wcc8v8vti17.fsf@shell01.TheWorld.com>
 <CCF68CB9.22EB9%yaldnif.w@blueyonder.co.uk>
 <7wrdmbre6jw9.qww9l0uzj6mg.dlg@40tude.net> <katr14$sef$2@munin.nbi.dk>
 <14oqoq06zhlu2.tcasif3hdyhw.dlg@40tude.net>
 <50d43653$0$6622$9b4e6d93@newsspool2.arcor-online.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2012-12-21T14:38:53+01:00
List-Id: <comp.lang.ada>

On Fri, 21 Dec 2012 11:13:38 +0100, Georg Bauhaus wrote:

> On 21.12.12 10:01, Dmitry A. Kazakov wrote:
>> What I see is a yet another way to pack implementations into
>> declarations as Georg promptly suggested, a slippery slope...
> 
> It seems foolish to assume that, during program development,
> we just follow perfect notions of what we have to do.

Still there exists a framework within which development is to be made: from
the laws of logic and physics to the language being used, i.e. Ada in this
case. The framework is fixed, not debatable, independent on the process of
development. At no stage of program development the laws of logic are
questioned.

>From the POV of SW development techniques Ada is supposed to facilitate,
implementations must be separated from interfaces. This is given.

> Consequently, placing assumptions with definitions seems an
> honest thing to do. It does not kill other ways of expressing our
> knowledge.

Assumption is not knowledge if not used somewhere. It is not implementation
and so it may not have any logical run-time effect. You assume certain
things which are considered true for the program as a whole. They cannot be
evaluated by the program itself without running into a contradiction. They
could be "evaluated" (logical inference is the term) by another program
(e.g. compiler) or human (e.g. programmer).

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de