Yes. Even if it were doing important stuff, this "important stuff" shouldn't be affecting typing. We have multicore machines now, there's no excuse anymore. Im

Yes. Even if it were doing important stuff, this "important stuff" shouldn't be affecting typing. We have multicore machines now, there's no excuse anymore. Imagine if it were the opposite, and moving the mouse or speaking into a microphone caused the compilation to fail in subtle ways. Well, background compilation/typechecking/whatever is messing with user interaction.