I'd also like to know the answer to this, but I run out of patience too quickly whenever I try, and my Scheme backend for Blodwen outperforms Idris by about 50% anyway...https://twitter.com/michael_w_hicks/status/1034163081675526147 …
-
-
Replying to @edwinbrady
Try going via
@racketlang to LLVM instead. You can get some impressive results for 'functional' languages. See for example https://arxiv.org/abs/1805.06562 [unless you're a reviewer for a conference that does light double-blind, then don't click that link].1 reply 0 retweets 2 likes -
I think that won't solve the tricky problems for Edwin (such as GC and tail calls).
1 reply 0 retweets 0 likes -
I have gone via
@racketlang as an experiment though and it works really quite well... Might be worth it for playing with some libraries.1 reply 0 retweets 1 like -
Right, Racket itself does solve those problems -- the library for generating LLVM that Jacques points to doesn't.
1 reply 0 retweets 0 likes
Ah, I see. Honestly though at this stage I just like using a run time system that someone else has done much better than I ever could! But I'm still going to wish for an llvm expert to give it a go...
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.