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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9983e856ed268154
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.66.84.68 with SMTP id w4mr219549pay.29.1345728678129;
        Thu, 23 Aug 2012 06:31:18 -0700 (PDT)
Path: 
 t10ni34130482pbh.0!nntp.google.com!news.glorb.com!aioe.org!.POSTED!not-for-mail
From: "Vasiliy Molostov" <molostoff@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Should Inline be private in the private part of a package spec?
Date: Thu, 23 Aug 2012 17:31:13 +0400
Organization: None
Message-ID: <op.wjhw6bauka8ora@aspire.local>
References: <501bd285$0$6564$9b4e6d93@newsspool4.arcor-online.net>
 <1qril0ny3eczr$.1vlhpbrjyyb8k.dlg@40tude.net>
 <503375ac$0$6565$9b4e6d93@newsspool3.arcor-online.net>
 <1vglgit7vnu4l$.2ytljabrhk2.dlg@40tude.net>
 <5033986c$0$6573$9b4e6d93@newsspool3.arcor-online.net>
 <62h5nifarvom.1myeqdyevhefq.dlg@40tude.net>
 <5033b4d8$0$6571$9b4e6d93@newsspool3.arcor-online.net>
 <gpcuiu6p58gd$.118wuad9bdmvo$.dlg@40tude.net>
 <5033ff28$0$6185$ba4acef3@reader.news.orange.fr>
 <k7637a11gmnm$.1lv7ly66jmka8$.dlg@40tude.net>
 <5034dac1$0$6579$9b4e6d93@newsspool3.arcor-online.net>
 <gqe8rxff4blh$.118of9mfkr6y8.dlg@40tude.net>
 <50350d35$0$6579$9b4e6d93@newsspool3.arcor-online.net>
 <1xdzh15anpuc0.1xw8mwmojasjk$.dlg@40tude.net>
 <50354c95$0$6577$9b4e6d93@newsspool3.arcor-online.net>
 <1sfidfvz480e7$.l49woc2l4lji.dlg@40tude.net>
 <5035f059$0$6580$9b4e6d93@newsspool3.arcor-online.net>
 <1i9sfhbz3harl$.1ihaky0f5ne8d$.dlg@40tude.net>
 <50361526$0$6577$9b4e6d93@newsspool3.arcor-online.net>
 <qtic9okggi28$.1uqruxnq6aqu6$.dlg@40tude.net>
NNTP-Posting-Host: Xw13RWgh8yxgPSv0x3+H9w.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/12.01 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
Date: 2012-08-23T17:31:13+04:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> =D0=BF=D0=B8=D1=81=D0=B0=D0=
=BB(=D0=B0) =D0=B2 =D1=81=D0=B2=D0=BE=D1=91=D0=BC =D0=BF=D0=B8=D1=81=D1=8C=
=D0=BC=D0=B5 Thu,  =

23 Aug 2012 16:45:58 +0400:

> On Thu, 23 Aug 2012 13:33:57 +0200, Georg Bauhaus wrote:
> Structured data cannot have unknown structure.

Wrong. Known it is or not known, it is not a property of structure itsel=
f,  =

but a property of an observer's view (ada introduced 'views' btw in RM).=
  =

If some observer can not see the structure through his obscure view this=
  =

does not mean that there is no structure at all.

As for Ada - record types are structured data, well transformed into xml=
,  =

keeping not only type name and its constraints but also a name of record=
  =

member, even a package name where it is defined.

Fundamentally, all the language you mention (Ada) is build on top of the=
  =

idea exchanging there records between
subprograms and file (or stream) objects.