I'm messing about with a possible new core for Idris. I've got this far. It's surprising what you need to do to get this far...https://gist.github.com/edwinb/617c016e2380d46c12b6d0fda0891245 …
-
-
I'm mostly trying all this because I saw https://github.com/AndrasKovacs/smalltt … via
@andrasKovacs6 and got jealous of how efficient it looked. So most ideas come from there. -
I'm honored! BTW, I think now that dependency-ordered meta blocks are probably a lot better than mutual ones. With mutual metas, the nested pairs benchmark is still exponential, b/c of occurs checking. Ordered metas can shortcut lots of scope checks.
- 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.