From: Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>
Subject: Re: On pragma Precondition and types
Date: Fri, 03 Oct 2008 11:35:45 +0200
Date: 2008-10-03T11:35:45+02:00 [thread overview]
Message-ID: <48e5e771$0$6609$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <vpfqkeghaen0.zqdaq70nx1sp.dlg@40tude.net>
Dmitry A. Kazakov wrote:
> On Thu, 2 Oct 2008 18:09:57 -0500, Randy Brukardt wrote:
>
>> I suppose you could claim that F is only intended to be used in
>> Preconditions and thus should be hidden somehow. But I find that dubious -
>> how is the programmer going to avoid triggering the precondition if they
>> can't call F to check?
>
> There is more in that. Preconditions semantically do not belong to the
> program.
I guess that Assertion_Policy helps restoring the bug-free,
assertion-less, genuine, trouble-free, original program.
IMHO, preconditions belong to any program that is honest
about real-life programming practices. ("Our programs do
include checks affecting its operation just like anything
in it.")
next prev parent reply other threads:[~2008-10-03 9:35 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-10-02 14:35 On pragma Precondition and types Georg Bauhaus
2008-10-02 15:02 ` Adam Beneschan
2008-10-02 23:09 ` Randy Brukardt
2008-10-03 8:59 ` Dmitry A. Kazakov
2008-10-03 9:35 ` Georg Bauhaus [this message]
2008-10-03 10:50 ` Dmitry A. Kazakov
2008-10-03 12:41 ` Georg Bauhaus
2008-10-02 23:09 ` Randy Brukardt
2008-10-02 23:09 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox