From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: 'Class'Class'Class'Class ad libitum
Date: Tue, 13 Sep 2016 13:29:39 +0200
Date: 2016-09-13T13:29:39+02:00 [thread overview]
Message-ID: <nr8nv8$i3v$1@dont-email.me> (raw)
In-Reply-To: <nr8l8k$98g$2@dont-email.me>
Le 13/09/2016 à 12:43, Alejandro R. Mosteo a écrit :
> I get why this is legal:
>
> type X is tagged null record;
>
> subtype Y is X'Class;
>
> subtype Z is X'Class'Class'Class'Class;
>
> But can you think of any legitimate reason to use it besides obfuscation?
>
I guess this is allowed because nobody cared about complicated rules to
forbid it (mainly on the ground that it's useless, but harmless). There
are many things like that:
T'(T'(T'(X)))
X+0+0+0
...
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2016-09-13 11:29 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-13 10:43 'Class'Class'Class'Class ad libitum Alejandro R. Mosteo
2016-09-13 11:29 ` J-P. Rosen [this message]
2016-09-13 16:10 ` Alejandro R. Mosteo
2016-09-13 18:53 ` Robert A Duff
2016-09-13 12:37 ` Dmitry A. Kazakov
2016-09-13 16:10 ` Alejandro R. Mosteo
2016-09-13 16:34 ` Dmitry A. Kazakov
2016-09-13 16:54 ` Alejandro R. Mosteo
2016-09-13 18:41 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox