Yes I think your conclusion is good. I find myself being a lot less interested in the implementation details than previously, and more interested in the types and structure and especially in the static and dynamic analysis that demonstrates that the implementation does what it is supposed to do.