Re: What is defensive consistency?

"Raoul Duke" <[email protected]>
Newsgroups gmane.comp.lang.e.general
Message-ID <[email protected]>
hi,

> No, because if you already rely on the correctness of the other component,
> and its contract includes some bound on operations, then you can just as
> well rely on it for that too.

I guess I'm paranoid and don't trust that kind of thing. Sorta musing
as to how far you can go with keeping distance from Other People's
Code ;-)

... unless the system includes some DBC or formal methods and static
checking re: all those contract issues, which I guess E might do?

sincerely.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.