From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Making guarantees about record components
Date: Wed, 20 Nov 2013 09:01:15 +0100
Date: 2013-11-20T09:01:15+01:00 [thread overview]
Message-ID: <sdvf650glwbu$.18dmz45clngdn.dlg@40tude.net> (raw)
In-Reply-To: 04190f1b-34fb-4681-91c3-5a123917e70c@googlegroups.com
On Tue, 19 Nov 2013 15:38:37 -0800 (PST), Shark8 wrote:
> At the very least M ought to be constant.
Yes, that the problem with the concept. A true invariant need not and does
not hold within a method. It holds only outside it.
When simply thrown at the object representation in the form of an arbitrary
constraint it does not work beyond simple examples.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2013-11-20 8:01 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-11-19 18:49 Making guarantees about record components J Kimball
2013-11-19 20:20 ` Anh Vo
2013-11-19 22:57 ` Jeffrey Carter
2013-11-20 9:36 ` Stephen Leake
2013-11-20 17:37 ` Jeffrey Carter
2013-11-21 6:53 ` Stephen Leake
2013-11-20 20:58 ` tmoran
2013-11-19 23:38 ` Shark8
2013-11-20 8:01 ` Dmitry A. Kazakov [this message]
2013-11-22 5:46 ` J Kimball
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox