> and slapping a fuzzy ML model on top of it to suppress a class of errors is not a good idea. I am not saying that that is a good idea, I am expressing that t

> and slapping a fuzzy ML model on top of it to suppress a class of errors is not a good idea. I am not saying that that is a good idea, I am expressing that there are limitations on what one can infer without broader context. > Offloading type annotations to something else removes that safety from you. Counter argument; the annotations can be used as a second sanity check; if the inferred types match your mental model - and the type inference model is good - then you know that your mental model is correct and you didn't miss something.