From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: rant (Re: Ada featured in Doctor Dobb's Journal )
Date: Sat, 17 May 2008 11:27:38 +0200
Date: 2008-05-17T11:27:37+02:00 [thread overview]
Message-ID: <qp0bh8mnjm6g$.16j51cr730963$.dlg@40tude.net> (raw)
In-Reply-To: 878wy9uyg9.fsf@ludovic-brenta.org
On Sat, 17 May 2008 10:28:06 +0200, Ludovic Brenta wrote:
> I strongly prefer compile-time checks over run-time checks,
Yes, actually contract checks have to be strictly static. A check failed at
run-time has no option but to terminate the program. Otherwise, it was not
contract check. Exception propagation is a part of the contract.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2008-05-17 9:27 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-05-16 10:56 Ada featured in Doctor Dobb's Journal Ludovic Brenta
2008-05-16 12:28 ` Mike Silva
2008-05-16 13:04 ` Ludovic Brenta
2008-05-16 14:33 ` Mike Silva
2008-05-16 22:26 ` Randy Brukardt
2008-05-17 6:30 ` rant (Re: Ada featured in Doctor Dobb's Journal ) jhc0033
2008-05-17 8:28 ` Ludovic Brenta
2008-05-17 9:27 ` Dmitry A. Kazakov [this message]
2008-05-17 9:56 ` Georg Bauhaus
2008-05-17 12:05 ` Dmitry A. Kazakov
2008-05-17 9:38 ` jhc0033
2008-05-17 11:49 ` Ludovic Brenta
2008-05-17 17:53 ` jhc0033
2008-05-17 23:21 ` Ludovic Brenta
2008-05-18 0:28 ` jhc0033
2008-05-18 0:35 ` Dr. Adrian Wrigley
2008-05-18 8:04 ` Prototyping with Ada (was: Ada featured in Doctor Dobb's Journal) Ludovic Brenta
2008-05-20 10:25 ` John McCabe
2008-05-20 16:57 ` Prototyping with Ada Jeffrey R. Carter
2008-05-20 17:23 ` Mike Silva
2008-05-20 17:37 ` Peter C. Chapin
2008-05-20 23:30 ` Mike Silva
2008-05-21 0:40 ` Jeffrey R. Carter
2008-05-21 12:53 ` Martin Krischik
2008-05-22 8:43 ` Stephen Leake
2008-05-28 11:32 ` John McCabe
2008-05-28 12:12 ` Ludovic Brenta
2008-05-29 3:27 ` tmoran
2008-05-29 9:41 ` John McCabe
2008-05-31 6:03 ` Stephen Leake
2008-06-02 15:43 ` Britt Snodgrass
2008-05-17 9:45 ` rant (Re: Ada featured in Doctor Dobb's Journal ) Georg Bauhaus
2008-05-17 10:57 ` Mike Silva
2008-05-17 16:49 ` tmoran
2008-05-16 22:56 ` Ada featured in Doctor Dobb's Journal Ivan Levashew
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox