From: G. B. <nonlegitur@nmhp.invalid>
Subject: Re: Exception_Occurence and language designers
Date: Tue, 5 Dec 2017 00:16:49 -0000 (UTC)
Date: 2017-12-05T00:16:49+00:00 [thread overview]
Message-ID: <p04ohh$kaa$1@dont-email.me> (raw)
In-Reply-To: p04cnn$5jk$1@gioia.aioe.org
Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
> On 2017-12-04 21:27, G. B. wrote:
>> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
>>
>>> In Ada 83 exception was not a first-class type.
>>
>> Still isn’t.
>
> But its "class-wide" type Exception_Occurrence is.
Exception_Occurrence feels like an enumeration,
to me at least, albeit of places in a program,
thus of a rather special set of “values”.
> Then it became clear that the exception should carry
> user-defined and other information.
User-defined information being strings, and
other information being places to be embedded in
strings, plus names of exceptions.
How about this: the idea of creating normal,
typed objects as payload of wild jumps in
abnormal (exceptional) situations is rather optimistic.
next prev parent reply other threads:[~2017-12-05 0:16 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-12-04 11:17 Exception_Occurence and language designers Mehdi Saada
2017-12-04 12:32 ` Simon Wright
2017-12-04 14:00 ` Mehdi Saada
2017-12-04 14:31 ` Dmitry A. Kazakov
2017-12-04 20:27 ` G. B.
2017-12-04 20:55 ` Dmitry A. Kazakov
2017-12-05 0:16 ` G. B. [this message]
2017-12-05 8:35 ` Dmitry A. Kazakov
2017-12-05 20:05 ` G. B.
2017-12-05 20:48 ` Dmitry A. Kazakov
2017-12-04 17:43 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox