[e-lang] What is defensive consistency?

[Raoul Duke]

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.