From: reinkor <reinkor@gmail.com>
Subject: Re: Question on type invariants
Date: Fri, 27 Jan 2017 01:20:42 -0800 (PST)
Date: 2017-01-27T01:20:42-08:00 [thread overview]
Message-ID: <717db8c1-f6ae-4b6f-adff-d8e5c8fbfcaa@googlegroups.com> (raw)
In-Reply-To: <o6cchr$u0q$1@gioia.aioe.org>
On Thursday, January 26, 2017 at 9:38:21 AM UTC+1, Dmitry A. Kazakov wrote:
> What you have described looks like a lazy evaluation scheme.
Exactly.
But no way to express this intention in a somehow explicite way in Ada?
The point is to produce updates only when you need it (i.e. when you read
from (use) S and A has changed since last update (of S).
next prev parent reply other threads:[~2017-01-27 9:20 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-01-25 8:38 Question on type invariants reinkor
2017-01-25 22:06 ` Randy Brukardt
2017-01-26 4:31 ` reinkor
2017-01-26 4:32 ` reinkor
2017-01-26 8:38 ` Dmitry A. Kazakov
2017-01-27 9:20 ` reinkor [this message]
2017-01-27 9:47 ` Dmitry A. Kazakov
2017-01-31 6:44 ` reinkor
2017-01-26 16:18 ` Robert Eachus
2017-01-27 5:35 ` reinkor
2017-01-27 5:47 ` reinkor
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox