Type inference has usability problems
Summary
The article argues that type inference across languages can hinder readability and increase cognitive load, despite potential cleanliness benefits. It discusses practical concerns, such as difficulty determining variable types and reliance on tooling, and calls for empirical studies to evaluate its usefulness.