My understanding of your argument is it's too much of a burden for devs to run a static type checker manually so the language should force you to run it as part

My understanding of your argument is it's too much of a burden for devs to run a static type checker manually so the language should force you to run it as part of the compilation process. Sure, yeah, if you want to ensure type safety then use a type safe language...argument over. ...unless you want to do something like duck punch some function into someone else's library and you really don't want to rearchitech how the whole thing works because of that one special case which just doesn't quite work.