This is still disappointingly slow though. It would help if I knew how to write a decent run time system...
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Do any of these source files get processed concurrently when the dependency graph permits?
-
No, Idris 1's runtime gets doubly extra terrible when it tries threading. It would be a good idea otherwise.
- 2 more replies
New conversation -
-
-
Nice! Any idea why Idris 2 is spending so much time on system calls?
-
I don't know, yet, but it seems like it would be very useful to find out. It does have a very bad allocator. Curiously, profiling suggests one of the biggest costs is parsing, which is hopefully one of the easier things to fix!
- 3 more replies
New conversation -
-
-
Do you (plan to) support separate compilation? Main thing I actually miss from our C++ implementation...
-
It's whole program at the moment, but one reason of many for changing the core to QTT was to make separate compilation possible.
- 3 more replies
New conversation -
-
-
Does this mean Idris2 is self hosting now?
-
No, only the first 25 files build so far
End of conversation
New conversation -
-
-
Suppose someone would want to get involved in the developing of the compiler, having not too much experience (http://craftingcompilers.com reading, a liking for Type systems, and some years of development). What would be some good first steps/learning resources. Asking for a friend :D
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.