To answer a question people sometimes ask: https://www.type-driven.org.uk/edwinb/why-is-idris-2-so-much-faster-than-idris-1.html … In which I explain several bad design decisions I made several years ago...
-
-
I briefly looked at Idris2 and I noted this as well. I don't think I'd actually recommend the original smalltt evaluator, because it duplicates a lot of code. The new version though is very simple and I definitely recommend it.
-
Hmm, actually I'd thought about a strategy a bit like the one you describe there at one point, but not enough to try it out. I might consider saving that as an exercise for an incoming PhD student, especially if you say it works well :).
End of conversation
New conversation -
-
-
How about using the power of Scheme? Compile each function before using it at compile time.
-
I've wondered about this too. My guess is that it would only start to be useful when functions get above a certain size. Maybe another one for a PhD student some day :).
- 1 more reply
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.