This is still disappointingly slow though. It would help if I knew how to write a decent run time system...
Prikaži ovu nit
Still reasonably confident that Idris 2 is going to be quite a bit faster than Idris 1...pic.twitter.com/XDb4NVUTv3
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
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.
- Još 2 druga odgovora
Novi razgovor -
-
-
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!
- Još 3 druga odgovora
Novi razgovor -
-
-
Does this mean Idris2 is self hosting now?
-
No, only the first 25 files build so far
Kraj razgovora
Novi razgovor -
-
-
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.
Kraj razgovora
Novi razgovor -
-
-
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.