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 …
-
-
-
-
Replying to @marimuthum
it'll be interesting to know how the performance compares, and if there are things we need to work on to improve that...
1 reply 0 retweets 0 likes -
Replying to @edwinbrady
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...
1 reply 0 retweets 0 likes -
Replying to @marimuthum @edwinbrady
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 reply 0 retweets 0 likes
Replying to @marimuthum
my hunch was that JSON would be slow to import but it'll be worth seeing what we can do to improve that when you have it running
9:24 AM - 2 Apr 2017
0 replies
0 retweets
0 likes
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.