The question isn't whether you want static types while running or debugging (or testing). The question is whether you want static types while developing.