On self hosting, Idris JVM backend will soon be self hosting (almost done with direct porting from Haskell to Idris)https://twitter.com/idrislang/status/848551646560997378 …
it'll be interesting to know how the performance compares, and if there are things we need to work on to improve that...
-
-
I am very close to finish. It uses Java to deserialize JSON into Idris types and then Idris all the way up to bytecode gen. So far...
-
compiler is slow taking few minutes to compile with one file with some exports but otherwise it'd be interesting to see the runtime perf
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.