I've been playing with Racket-on-Chez as a possible backend for Idris 2. Amusingly, it outperforms Chez more than I expected.
-
-
What happened to idris-on-OCaml?https://github.com/stedolan/idris-malfunction …
-
Still moving, courtesy of
@ioanluca7 and@bentnib. Probably the right way to go in the long run too, but scheme is easier for me to work with at the moment just because I know it. - 3 more replies
New conversation -
-
-
At the end of the day, installability beats almost everything else.
-
Oh yes. It's been a minor obstacle with Chez so far, and it's a thing that puts me off putting too much effort into using OCaml as a target just yet. Racket seems a great default target in the short-medium term.
- 4 more replies
New conversation -
-
-
Doesn't that imply that there must be some other generated Chez (different from what now is being generated) that would perform better, at least as well as the Racket?
-
It's possible, but I expect it's just some fortunate characteristics of this example that make whatever extra steps they're doing work well. I bet there's more to come, in any case. Looking forward to seeing it!
End of conversation
New conversation -
-
-
I'm guessing it's only going to get better, also.
-
I think so! It's impressive work. Matthew said the improvement was likely due to an extra level of inlining.
- 3 more replies
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.