From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: GNAT proposal: note on implicit exceptions insertion
Date: Tue, 12 Feb 2019 10:20:22 +0100
Date: 2019-02-12T10:20:22+01:00 [thread overview]
Message-ID: <q3u34m$60g$1@gioia.aioe.org> (raw)
In-Reply-To: 47782bc4-6330-4e9f-af18-76db3cb26096@googlegroups.com
On 2019-02-12 09:35, Jesper Quorning wrote:
> On Tuesday, February 12, 2019 at 9:19:11 AM UTC+1, Dmitry A. Kazakov wrote:
>
>> What about exception contracts? That would resolve this and many other
>> issues. Bet there is no Constraint_Error (and conversely, there must be
>> one) and the compiler will have to check that.
>
> This is for the experience engineer. Notes are for the novice.
Exactly the opposite. An experienced programmer could go without proper
contracts and manifested typing. It requires a lot of knowledge and
intuition to understand what is going on behind the scenes. Novices
cannot do that.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2019-02-12 9:20 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-10 2:03 GNAT proposal: note on implicit exceptions insertion Jesper Quorning
2019-02-10 18:08 ` Simon Wright
2019-02-11 21:36 ` Jesper Quorning
2019-02-11 22:31 ` Anh Vo
2019-02-11 23:41 ` Randy Brukardt
2019-02-12 7:05 ` Jesper Quorning
2019-02-12 23:08 ` Randy Brukardt
2019-02-16 4:30 ` Brad Moore
2019-02-16 16:15 ` Jesper Quorning
2019-02-12 8:19 ` Dmitry A. Kazakov
2019-02-12 8:35 ` Jesper Quorning
2019-02-12 9:20 ` Dmitry A. Kazakov [this message]
2019-02-12 12:46 ` Jesper Quorning
2019-02-12 7:28 ` Mark Lorenzen
2019-02-12 8:34 ` Jesper Quorning
2019-02-12 22:31 ` Fedja Beader
2019-02-13 10:42 ` Simon Wright
2019-02-11 6:53 ` Mark Lorenzen
2019-02-11 8:13 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox