> Then maybe you should maybe spend some time studying these topics instead of acting up on HN.
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.