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=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,fd63afa4dc364b7e
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-04-02 04:02:02 PST
Path: 
 supernews.google.com!sn-xit-03!supernews.com!freenix!isdnet!newscore.gigabell.net!fu-berlin.de!uni-berlin.de!ailinel.cbb-automation.DE!not-for-mail
From: dmitry@elros.cbb-automation.de (Dmitry Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: Static typing (Was Re: Better support for garbage collection)
Date: Mon, 02 Apr 2001 11:00:18 GMT
Message-ID: <3ac857fd.12301046@news.cis.dfn.de>
References: 
 <wcc1ys0du8j.fsf@world.std.com><98pgs1$32up7$1@ID-25716.news.dfncis.de><wccu24tr86u.fsf@world.std.com><Pine.BSF.4.21.0103160840560.2903-100000@shell5.ba.best.com><wcck85pr56b.fsf@world.std.com><98umc6$39coj$1@ID-25716.news.dfncis.de><Pine.BSF.4.21.0103171448570.21157-100000@shell5.ba.best.com><wccwv9o0xky.fsf@world.std.com><Pine.BSF.4.21.0103171624210.21157-100000@shell5.ba.best.com><wcc7l1l3hpm.fsf@world.std.com><Pine.BSF.4.21.0103192012240.2056-100000@shell5.ba.best.com><LwTt6.704$EG6.248219745@newssvr16.news.prodigy.com><wccelvrp7xk.fsf@world.std.com><K8du6.443$uE.92481609@newssvr10-int.news.prodigy.com><wccofutg3ku.fsf@world.std.com><XVov6.54$aC3.6927396@newssvr16.news.prodigy.com><wccr8zl4h0n.fsf@world.std.com><t5Rv6.212$wd2.29337625@newssvr16.news.prodigy.com>
 <wccvgotscxo.fsf@world.std.com>
 <4mzw6.414$OQ6.73321643@newssvr16.news.prodigy.com>
 <wccofuk87gj.fsf@world.std.com> <3ac446f0.1707484@news.cis.dfn.de>
 <wg2x6.2152$gb7.413859955@newssvr10-int.news.prodigy.com>
NNTP-Posting-Host: ailinel.cbb-automation.de (212.79.194.99)
X-Trace: fu-berlin.de 986209219 4476141 212.79.194.99 (16 [77047])
X-Newsreader: Forte Free Agent 1.21/32.243
Xref: supernews.google.com comp.lang.ada:6327
Date: 2001-04-02T11:00:18+00:00
List-Id: <comp.lang.ada>

On Fri, 30 Mar 2001 16:13:16 GMT, "Ken Garlington"
<Ken.Garlington@computer.org> wrote:

>"Dmitry Kazakov" <dmitry@elros.cbb-automation.de> wrote in message
>news:3ac446f0.1707484@news.cis.dfn.de...
>: On Thu, 29 Mar 2001 23:46:04 GMT, Robert A Duff
>: <bobduff@world.std.com> wrote:
>:
>: >"Ken Garlington" <Ken.Garlington@computer.org> writes:
>: >
>: >> "Robert A Duff" <bobduff@world.std.com> wrote in message
>: >> news:wccvgotscxo.fsf@world.std.com...
>:
>: >By the way, the "ulterior motive" in my ideas about literals is that
>: >what I *really* want is user-defined literals.  I think the programmer
>: >should be able to say "this type here has literals", and define which
>: >forms are legal for that type, and what they mean.  But in order to
>: >avoid chaos, we can't have the form of the literal affecting overload
>: >resolution.
>:
>: I strongly support your intention (user-defined literals and surely
>: user-defined aggregates), but I believe that the way is wrong. I would
>: say that a literal always has a type. And its type should be
>: determinable from the literal's form. I like the idea that, 1 is a
>: UNIVERSAL_INTEGER, 1.0 is a UNIVERSAL_FLOAT,
>
>Actually, 1.0 is a universal_real (see ARM 2.4:3).
>
>: 'a' is a
>: UNIVERSAL_CHARACTER etc.
>
>Don't know exactly what a UNIVERSAL_CHARACTER is; it's an enumeration
>literal of a character type (ARM 2.5:4). The only universal_types defined in
>ARM 3.4.1:6 are universal_integer, universal_real, and universal_fixed.

Surely. Though it was not about Ada, but about the idea how to deal
with a potentially unlimited set of literals. (We surely do not want
to *really* declare all 2**16 (24?) unicode characters and how many
strings? (:-))

Regards,
Dmitry Kazakov