> I mean, installing packages and type checking can surely be slow. But, at least in my career, I've never seen a galactic blow-up.

I have, it's called conda.