Make a bunch of people on HN angry.
Type inference has usability problems. https://austinhenley.com/blog/typeinference.html
Type inference has usability problems. https://austinhenley.com/blog/typeinference.html
I just skimmed over the blog and it looks super interesting, I'll add it to my list of blogs to follow ;)