Post

Does the mentioned 10x speed up refer to the compilation (build), the type checking, or type inference, or something else?

0 reposts7 likes

All stages; the embarassingly parallel stuff is more than 10x, checking is about 10x and we do it concurrently by spawning multiple checkers. The editor stuff is harder to measure but we're now able to do more than one thing at once, so it feels a lot better too.