3 ms·

> Obviously you can find ways to break out of the type systems (void* cast?) but that's on you Sometimes a type system can be proven to have no holes. (Of cour

• barakm 9y ago
  Sometimes, but very rarely, if only because of FFI as you pointed out. And usually there's something in the unsafe category that lets you break some rules, if only to give a pressure release as in the interop reply above. I don't deny the existence of such a thing, just that there aren't many practical examples