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.