I agree. And you also see many dynamic languages working around lack of types by describing the types anyway in the documentation. Like jsdoc in javascript be

I agree. And you also see many dynamic languages working around lack of types by describing the types anyway in the documentation. Like jsdoc in javascript before typescript became popular. You are already doing the hard work of describing your types anyway, but because your compiler doesn't know the types, it can't help you out.