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 live

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 https://news.ycombinator.com/item?id=20296123 [2] http://austinhenley.com/blog/typeinference.html http://austinhenley.com/blog/typeinference.html