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: 
 border1.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Text_IO, was: Re: Something I don't understand
Date: Thu, 20 Feb 2014 20:19:38 +0200
Organization: Tidorum Ltd
Message-ID: <bmmv9kFgjqeU1@mid.individual.net>
References: <4a3e55f6-9f54-4084-9f37-96efd4b0d349@googlegroups.com>
 <ad687a22-84c1-4c7d-bf8d-023fda30d849@googlegroups.com>
 <e7a5d697-12d1-4150-b713-3ce1156f158d@googlegroups.com>
 <0b358700-871b-4603-addd-65e07c7d59e5@googlegroups.com>
 <wcc1tz3al9l.fsf@shell01.TheWorld.com> <ldpv63$vc0$1@dont-email.me>
 <wcca9drdoc3.fsf@shell01.TheWorld.com> <ldt0m5$2ad$1@dont-email.me>
 <bmetfvFp5prU1@mid.individual.net>
 <ay52xfkxjdlc.1m81j4q26nbyt$.dlg@40tude.net>
 <bmevvfFpnd0U1@mid.individual.net>
 <swsor6oximy0$.zglgiwn94pd3.dlg@40tude.net>
 <bmgfiiF4jciU1@mid.individual.net>
 <13cmx8lollig2.1ic40x57wows8$.dlg@40tude.net>
 <bmglpsF5rqoU1@mid.individual.net>
 <1mh0lp04e4bzc.vr6hi3fcbba5.dlg@40tude.net>
 <bmj8o6Fmpc5U1@mid.individual.net>
 <eez9av39unhs$.x8n7kzyrb9wi.dlg@40tude.net>
 <bmjpciFq892U1@mid.individual.net>
 <7gb1iv15zuh$.1qbeifwuyvuoa.dlg@40tude.net>
 <bmkn0bF2498U1@mid.individual.net>
 <1mxzjrsg3hxqu$.1gjsguz2d6ay9.dlg@40tude.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: individual.net Lj/1X/zKF8eoojy6IR5idQ5XZ0/wuzJZTzhZtom9r1KThbfHak
Cancel-Lock: sha1:YS4MMkiDUO2/6zhnT3AsuTyDeoU=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8;
 rv:24.0) Gecko/20100101 Thunderbird/24.3.0
In-Reply-To: <1mxzjrsg3hxqu$.1gjsguz2d6ay9.dlg@40tude.net>
X-Original-Bytes: 3612
Xref: number.nntp.dca.giganews.com comp.lang.ada:185037
Date: 2014-02-20T20:19:38+02:00
List-Id: <comp.lang.ada>

On 14-02-20 11:52 , Dmitry A. Kazakov wrote:
> On Wed, 19 Feb 2014 23:45:47 +0200, Niklas Holsti wrote:

>>>> I don't see any need for converting a File/Stream *into* Text, unless
>>>> the File/Stream is a serialized representation of the full internal
>>>> structure of a Text object, in which case the File/Stream structure is
>>>> private and normal serialization/deserialization methods apply.

Dmitry wrote:

>>> But your proposal was:
>>>
>>>    procedure Get (From : in out Text; Value : out Integer);
>>>    procedure Get (From : in out File_Type; Item : out Text);

Niklas wrote:

>> No, I proposed Put operations, not Get operations. "Text" (that is, text
>> (2)) is meant only for output, not for input. For input, use text (1).
> 
> Only Text_O? No Text_I at all?

Exactly. That is, for text in the meaning (2), structured text intended
for human viewing. Text data files (sequences of characters) of course
need both input and output, as provided today by Text_IO.

All your other points just take us further from a common understanding
(as usual when I discuss something with you, unfortunately).

>>> And so you need it extensible, ergo, a class.
>>
>> Not so, if we accept the same rationale as for Ada.Containers: they are
>> meant for use in applications without extreme or special demands on the
>> performance of the containers.
> 
> Ada container library was wrong design from the start. But that is another
> story for another day.

Yeah, I know you want to start over on Ada. Feel free, I will certainly
read your novo-Ada language proposal with interest (seriously, not
joking at all). But it needs to have a concrete rationale and
motivation, not philosophical abstractions.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
      .      @       .