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.
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.
Re:Things that Idris improves things over Haskell
by zzalpha on Friday June 16, 2017 @12:22PM
(#14570246)
How does Idris' Java compatibility compare? Simply compiling to the JVM is nice, but unless it can cleanly interoperate with the rest of the Java ecosystem, it simply cannot take the place of something like Scala.
Re:Things that Idris improves things over Haskell
by mbizzle88 on Friday June 16, 2017 @05:09PM
(#14572672)
I recently experimented with the Idris JavaScript backend and it is not ready for prime-time. In particular, the FFI doesn't handle functions well. I was unable to call into Idris code from JavaScript which is a deal-breaker, IMO.
One thing that I find strange, though, is that some of the most prolific Scala developers who are critical of the language seem to stick to languages such as Haskell/Eta and PureScript. Maybe it's the immaturity of the Idris ecosystem.