Relevant to this is the HN discussion [1] on my recent blog post, "Type inference has usability problems" [2]. The discussion here and on Twitter got quite lively :)

[1] https://news.ycombinator.com/item?id=20296123

[2] http://austinhenley.com/blog/typeinference.html