From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Re: Text_IO, was: Re: Something I don't understand
Date: Tue, 18 Feb 2014 08:50:27 +0100
Date: 2014-02-18T08:50:26+01:00 [thread overview]
Message-ID: <530310c2$0$9515$9b4e6d93@newsspool1.arcor-online.net> (raw)
In-Reply-To: <e2mg3fl6um29.1r0xu697xmetb$.dlg@40tude.net>
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"?
next prev parent reply other threads:[~2014-02-18 7:50 UTC|newest]
Thread overview: 77+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-02-13 23:57 Something I don't understand Laurent
2014-02-14 0:18 ` adambeneschan
2014-02-14 7:05 ` Charles H. Sampson
2014-02-15 15:27 ` Laurent
2014-02-15 19:10 ` Laurent
2014-02-15 20:05 ` Niklas Holsti
2014-02-15 21:16 ` Laurent
2014-02-15 21:40 ` Jeffrey Carter
2014-02-16 1:39 ` Robert A Duff
2014-02-16 9:08 ` Text_IO, was: " Simon Clubley
2014-02-16 9:43 ` Dmitry A. Kazakov
2014-02-16 16:57 ` Dennis Lee Bieber
2014-02-16 16:17 ` Robert A Duff
2014-02-17 12:52 ` Simon Clubley
2014-02-17 15:32 ` G.B.
2014-02-17 15:35 ` G.B.
2014-02-17 17:34 ` Mike H
2014-02-17 16:59 ` Niklas Holsti
2014-02-17 17:17 ` Dmitry A. Kazakov
2014-02-17 17:42 ` Niklas Holsti
2014-02-17 19:55 ` Dmitry A. Kazakov
2014-02-18 7:14 ` Niklas Holsti
2014-02-18 8:40 ` Dmitry A. Kazakov
2014-02-18 9:00 ` Niklas Holsti
2014-02-18 9:31 ` Dmitry A. Kazakov
2014-02-19 8:36 ` Niklas Holsti
2014-02-19 9:40 ` Dmitry A. Kazakov
2014-02-19 13:20 ` Niklas Holsti
2014-02-19 14:13 ` Dmitry A. Kazakov
2014-02-19 15:37 ` Georg Bauhaus
2014-02-19 16:32 ` Laurent
2014-02-19 17:46 ` Simon Clubley
2014-02-20 2:39 ` Dennis Lee Bieber
2014-02-20 11:44 ` G.B.
2014-02-19 21:45 ` Niklas Holsti
2014-02-20 9:52 ` Dmitry A. Kazakov
2014-02-20 18:19 ` Niklas Holsti
2014-02-19 15:06 ` Robert A Duff
2014-02-19 17:03 ` Niklas Holsti
2014-02-19 22:30 ` Robert A Duff
2014-02-17 18:13 ` Simon Clubley
2014-02-17 20:09 ` Dmitry A. Kazakov
2014-02-18 7:50 ` Georg Bauhaus [this message]
2014-02-18 8:28 ` Dmitry A. Kazakov
2014-02-17 20:22 ` Niklas Holsti
2014-02-18 0:50 ` Simon Clubley
2014-02-18 6:56 ` Niklas Holsti
2014-02-18 8:04 ` Georg Bauhaus
2014-02-19 22:01 ` Robert A Duff
2014-02-20 8:25 ` Dmitry A. Kazakov
2014-02-20 15:54 ` Robert A Duff
2014-02-20 17:54 ` Dmitry A. Kazakov
2014-02-20 20:45 ` Niklas Holsti
2014-02-19 21:52 ` Robert A Duff
2014-02-20 0:50 ` Simon Clubley
2014-02-19 21:46 ` Robert A Duff
2014-02-20 0:09 ` Jeffrey Carter
2014-02-20 1:09 ` Simon Clubley
2014-02-20 7:06 ` Niklas Holsti
2014-02-20 13:05 ` Simon Clubley
2014-02-20 11:51 ` G.B.
2014-02-20 12:53 ` Simon Clubley
2014-02-21 11:50 ` Brian Drummond
2014-02-23 21:37 ` AdaMagica
2014-02-23 23:23 ` Bill Findlay
2014-02-24 4:29 ` AdaMagica
2014-02-24 12:22 ` Brian Drummond
2014-02-24 19:03 ` AdaMagica
2014-02-20 20:02 ` Niklas Holsti
2014-02-19 21:15 ` Robert A Duff
2014-02-19 22:01 ` Simon Clubley
2014-02-16 14:50 ` Mike H
2014-02-17 16:09 ` Laurent
2014-02-17 17:42 ` Mike H
2014-02-18 1:05 ` Dennis Lee Bieber
2014-02-17 22:31 ` Jeffrey Carter
2014-02-19 12:51 ` Laurent
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox