Re:Open-sourcing MonkeyType – Let your Python code type-hint...
by joshuamorton on Saturday December 23, 2017 @01:32PM
(#15995493)
Right, but Scala is different from Haskell or f#. It doesn't use the same kind of type inference (hm) as classical ml derivatives.
People do use ML family languages, and they are better. There are plenty of non-technical reasons they aren't as widespread as dynamic languages or shitty static languages.