From: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Subject: Re: Specifying the order of ops on an ADT with aspects
Date: Mon, 8 Feb 2010 10:41:21 +0000
Date: 2010-02-08T10:41:21+00:00 [thread overview]
Message-ID: <alpine.LNX.2.00.1002081032160.8206@Bluewhite64.example.net> (raw)
In-Reply-To: <1v9rzmqtgr455$.1xm2la9knf3jy$.dlg@40tude.net>
On Fri, 5 Feb 2010, Dmitry A. Kazakov sent:
|---------------------------------------------------------------------------|
|"[..] |
| |
|And my painful experience tells me that no check is optional. There is |
|either one or none. I bet that any suppressed check will eventually fail in|
|the production code [*]. |
| |
|------------------ |
|* Unless you do things like code coverage etc, but these would eliminate |
|the very need to check something that you already proved to hold." |
|---------------------------------------------------------------------------|
J. Fleuriot (
WWW.inf.Ed.ac.UK/people/staff/Jacques_Fleuriot.html
) asserted on January 24th, 2008:
"[..] there's no such thing as one hundred per cent guarantees [..]"
next prev parent reply other threads:[~2010-02-08 10:41 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-02-04 11:26 Specifying the order of ops on an ADT with aspects Georg Bauhaus
2010-02-04 18:07 ` Hibou57 (Yannick Duchêne)
2010-02-05 16:44 ` Colin Paul Gloster
2010-02-05 16:55 ` Hibou57 (Yannick Duchêne)
2010-02-05 18:34 ` Dmitry A. Kazakov
2010-02-08 10:41 ` Colin Paul Gloster [this message]
2010-02-05 22:15 ` Randy Brukardt
2010-02-05 22:45 ` Hibou57 (Yannick Duchêne)
2010-02-06 3:35 ` Hibou57 (Yannick Duchêne)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox