It's not that much of a tangent tbf. It's one of the things that is an endless churn in millions of codebases out there and yet no core programming language team has the courage and the grit to solve this problem.

Those who tried are only doing it in mostly academic/toy languages which is a damned shame. We _really_ need those constructs, compile-time enforced, in commercial codebases, like 25 years ago at least!

People are trying everywhere though but I've witnessed CTOs getting cold feet and fearing their codebase will get too abstract or hard to maintain when they hire the next dev.

Group-think and conformism and fear of change, demonstrated live, every day. :/

So yep -- amen to that indeed.