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.
[ Parent
| on HN ]
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.