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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder4.news.weretis.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 18 Feb 2014 08:50:27 +0100
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:15.0) Gecko/20120907 Thunderbird/15.0.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Text_IO, was: Re: Something I don't understand
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> <ldtjgk$o98$1@dont-email.me>
 <e2mg3fl6um29.1r0xu697xmetb$.dlg@40tude.net>
In-Reply-To: <e2mg3fl6um29.1r0xu697xmetb$.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <530310c2$0$9515$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 18 Feb 2014 08:50:26 CET
NNTP-Posting-Host: 5a793077.newsspool1.arcor-online.net
X-Trace: 
 DXC=dkWL2^ZoN9WFm0Y?OE@2^Xic==]BZ:af^4Fo<]lROoRQnkgeX?EC@@P?Z7BlCkWK7WPCY\c7>ejVXIm>LF2;ALUT[i>BN8<FScP
X-Complaints-To: usenet-abuse@arcor.de
Xref: news.eternal-september.org comp.lang.ada:18655
Date: 2014-02-18T08:50:26+01:00
List-Id: <comp.lang.ada>

On 17/02/14 21:09, Dmitry A. Kazakov wrote:
> Actually it is possible to have it statically type safe with some little
> compiler support.

What does "little compiler support" mean?

> Ada's style of independent Put and Get is so much better.
> Note that even C++ switched to this style, I mean its out<< and in>>
> operators.

C++, however, has automatic template resolution, Ada hasn't.
Nor does Ada have anything more fancy than ordinary types,
no type parameters of types directly, etc. The Spitbol operators
all return Pattern, and they do so for operands of type Pattern,
character stuff, or function pointers only. No MD.

So, I guess we cannot even have C++-like operator<< etc,
without a "little compiler support"?