Comment by leoh

tl;dr: it’s slow because it finds far more bugs before runtime than literally any other mainstream compiled language