Re:Things that Idris improves things over Haskell
by paulddraper on Friday June 16, 2017 @09:54PM
(#14573858)
Non-frustrated Scala user here. I recommend you not switch in that case.
You'll have to admit though: the greatest strength and weakness of Scala is Java.
Post-Scala is already under way with the new compiler, Dotty[1], which will replace present day Scala.
[1] https://github.com/lampepfl/dotty