@ydewit Hi Yuri, I'm wondering what happened with your Idris GraalVM project, idris-ivor?
-
-
Replying to @ScalaWilliam
Hi
@ScalaWilliam, it saw little progress unfortunately. The first reason is that my free time has been sucked into a masters degree. And I think the final reason, and a more recent one, is that I am not sure anymore what is the future of Idris (Blodwen == Idris2?)1 reply 0 retweets 0 likes -
Replying to @ydewit
Interesting. Was unaware of Blodwen. What do you have to say about this
@edwinbrady ?1 reply 0 retweets 0 likes -
Replying to @ScalaWilliam @ydewit
It is a new implementation of Idris - it'll be mostly the same (that is, it won't be gratuitously incompatible) but it'll be faster and more robust... that's the plan anyway.
1 reply 0 retweets 3 likes -
Replying to @edwinbrady @ScalaWilliam
Is that basically a new implementation only or broader? Is there any literature you can point us, if I may ask?
2 replies 0 retweets 1 like -
Replying to @ydewit @edwinbrady
It'd be a huge win if it would target JVM/GraalVM.
1 reply 0 retweets 1 like
It'll be just as retargetable as Idris 1, so that'll be achievable! Not yet, though, I'm making sure the core is solid and probably focusing on interactive editing for a bit. So, it might be a little while but I hope worth the wait.
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.