Point of higher level languages is and was productivity. Now some languages have Turing complete type systems and I have seen some clever usage of types where r

Point of higher level languages is and was productivity. Now some languages have Turing complete type systems and I have seen some clever usage of types where really even the author might not know how it works given enough time passes without touching the code base.