Context: the (unfinished) self hosted Idris 2 now type checks quite a bit faster than the Idris 1 compiled version. But saving/loading the checked bytecode seems to be quite a bit slower, and I'd like to avoid writing C if I can please :).
-
-
Show this thread
-
It turns out this wasn't the problem at all, and to get a 50% performance boost I just (ho ho :)) needed to do an extra round of inlining. Inlining can be truly magical...
Show this thread
End of conversation
New conversation -
-
-
Pretty sure the answer is no.
-
I would have hoped so, but they seem to be my current bottleneck (though it's hard to get useful profiling data).
- 2 more replies
New conversation -
-
-
You could use foreign-alloc, foreign-ref and foreign-set! to work on memory directly
-
Oh, that's an interesting idea... thanks!
End of conversation
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.