From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Subject: Re: 'Class'Class'Class'Class ad libitum
Date: Tue, 13 Sep 2016 18:10:43 +0200
Date: 2016-09-13T18:10:43+02:00 [thread overview]
Message-ID: <nr98dv$bem$2@dont-email.me> (raw)
In-Reply-To: <nr8nv8$i3v$1@dont-email.me>
On 13/09/16 13:29, J-P. Rosen wrote:
> 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
> ...
I like the qualified expression one...
next prev parent reply other threads:[~2016-09-13 16:10 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
2016-09-13 16:10 ` Alejandro R. Mosteo [this message]
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