Re: Press Release - Ada 2012 Language Standard Approved by ISO

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

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