I don't think this is true at all. A compiler can't check that your logic is correct. There may be a bit of overlap in the things verified by tests and a compi

I don't think this is true at all. A compiler can't check that your logic is correct. There may be a bit of overlap in the things verified by tests and a compiler but they don't solve the same problem. How are static types a requirement for encapsulation? Dynamic languages are perfectly capable of providing encapsulation. Statically typed languages are also perfectly capable of having very poor encapsulation.