[cap-talk] controversial article

[David Wagner]

Matej Kosik  wrote:
>I hope that it is correct to say that all object-capability programming
>languages can be used for creating software systems that are defensively
>consistent but none of these languages (or platforms) can be used for
>creating defensively correct software systems. (?)

To be pedantic, they can plausibly be used to build defensively
correct software systems (they're Turing-complete, after all); it's
more that those languages don't provide special support for reasoning
about or ensuring defensive correctness.  So those languages don't
provide any extra help; if you want defensive correctness, you're
on your own.