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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,73cb216d191f0fef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.10.230 with SMTP id l6mr174679wib.3.1366858122363;
        Wed, 24 Apr 2013 19:48:42 -0700 (PDT)
Path: 
 hg5ni23953wib.1!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!194.109.133.81.MISMATCH!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!rt.uk.eu.org!weretis.net!feeder4.news.weretis.net!feeder2.ecngs.de!ecngs!feeder.ecngs.de!217.188.199.168.MISMATCH!takemy.news.telefonica.de!telefonica.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
User-Agent: NewsTap/3.5.5 (iPhone/iPod Touch)
From: Georg Bauhaus <bauhaus.pad@arcor.de>
Newsgroups: comp.lang.ada
Mime-Version: 1.0
Subject: Re: Is this expected behavior or not
References: <kkkl0h$v4d$1@munin.nbi.dk>
 <hio9qb0ob6az.13z9i9wft23vx$.dlg@40tude.net>
Date: 17 Apr 2013 09:23:26 GMT
Message-ID: <516e6a0e$0$9505$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 17 Apr 2013 11:23:26 CEST
NNTP-Posting-Host: 22d67d5c.newsspool1.arcor-online.net
X-Trace: 
 DXC=[Ch?YWVjCUYI?44J>Z[:RQic==]BZ:af^4Fo<]lROoRQnkgeX?EC@@P8WEnDiKGIRRnc\616M64>ZLh>_cHTX3j]SJLYh>W^5LP
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 2013-04-17T11:23:26+02:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:
>.
> Representation is non-functional and to large extent arbitrary. 

The functional specification may refer to
TIME and SPACE in essential ways, giving
precise declarations of what is not to be
exceeded. Within the formal limits and 
possibilities of the system given, this requires
judicious use of, well, what, if the programmer
must not declare some sort of representations?
How does a type cover essential behavioral
aspects of time and space if representation
may not be part of the type system?

If the Ada type system cannot express
time and space, I'll still consider them
functional requirements. And I'd much rather
want the types to state them, rather than
hands waving stories about implementations.