Please eliminate rudeness from your comments on HN. You've crossed the line into incivility several times in this thread. That's unacceptable here. https://news.ycombinator.com/newsguidelines.html
Please also don't post unsubstantive comments. That means avoiding programming language flamewars, since they're only nominally about programming and really about insults and disses.
Chances are, I implemented more varieties of type systems than you can name.
> This is where I lost the last doubts about the reality and your lack of closeness with it.
Scala fanboys are much more detached from the reality. The reality rejected bondage&discipline languages long ago.