5 ms·
what's the total running time? ms/sec/minutes/hours? is it heavy IO bound?
by juststeve 4y ago
what's the total running time? ms/sec/minutes/hours? is it heavy IO bound?
- muglug 4y agoA few minutes. It's not heavily IO-bound — it's mostly memory-bound (it's a type-checking tool for very large codebases). Further (painful) optimisations will likely involve the use of arenas to prevent so many atomic de-allocations.