I'd argue as well that type systems in the extremely popular programming languages make it difficult to reduce the surface area of your problem appropriately a

I'd argue as well that type systems in the extremely popular programming languages make it difficult to reduce the surface area of your problem appropriately as well. Some more fringe languages make significant strides in this with dependent types. The burden is much higher on tests than it needs to be because we can't express these constraints in code well enough.