Not sure if this qualifies as evidence, but a quick search shows there are papers exploring the topic of whether type inference is a "big win" or not. Benefits

Not sure if this qualifies as evidence, but a quick search shows there are papers exploring the topic of whether type inference is a "big win" or not. Benefits of Type Inference for an Object-Oriented Real-Time Language https://www.researchgate.net/publication/220391749_Benefits_of_type_inference_for_an_object-oriented_real-time_language https://www.researchgate.net/publication/220391749_Benefits_... EDIT: Granted, this particular paper may be more claims without solid evidence.