From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: On pragma Precondition and types
Date: Fri, 3 Oct 2008 10:59:27 +0200
Date: 2008-10-03T10:59:28+02:00 [thread overview]
Message-ID: <vpfqkeghaen0.zqdaq70nx1sp.dlg@40tude.net> (raw)
In-Reply-To: gc3mem$28b$1@jacob-sparre.dk
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. Thus it makes a lot of sense to have F declared and implemented
outside it. If programs could be written in 3D space, the declaration of F
should be written orthogonal to other text... (:-))
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2008-10-03 8:59 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 [this message]
2008-10-03 9:35 ` Georg Bauhaus
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