News for hackers. Stuff that matters.
Re:Things that Idris improves things over Haskell by virtualwhys on Friday June 16, 2017 @02:44PM (#14571635)
What about non-frustrated Scala users, should they drop Scala and Scala.js in favor of an effectively experimental language with zero industry adoption?

Post-Scala is already under way with the new compiler, Dotty[1], which will replace present day Scala.

[1] https://github.com/lampepfl/dotty

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.