From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Meaning of “contractual” according to Ada
Date: Thu, 7 Mar 2013 10:27:19 +0100
Date: 2013-03-07T10:27:19+01:00 [thread overview]
Message-ID: <1rp5azo6k724i$.1h05t4wopxz4c.dlg@40tude.net> (raw)
In-Reply-To: op.wtjx0wq4ule2fv@cardamome
On Thu, 07 Mar 2013 02:20:46 +0100, Yannick Duch�ne (Hibou57) wrote:
> Or may be constraints are just more general than contracts?
The reverse. Constraint is a specific type of contract which involves 1)
two related types, and 2) one type is a specialization of another.
Contract is much looser thing, not necessarily put on a type, e.g.
contracts of subprograms or modules.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
prev parent reply other threads:[~2013-03-07 9:27 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-03-06 18:22 Meaning of “contractual” according to Ada Yannick Duchêne (Hibou57)
2013-03-06 22:35 ` Robert A Duff
2013-03-07 1:20 ` Yannick Duchêne (Hibou57)
2013-03-07 2:57 ` Meaning of "contractual" " Randy Brukardt
2013-03-07 9:27 ` Dmitry A. Kazakov [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox