Our readingWhat is a korrent?
The empirical literature on static typing finds effects too small to matter, in the narrow settings it has managed to study.
Drawn from what Dan Luu said
On the topicDo static types make software better?under our view: The evidence that types prevent bugs is thin, and dynamic languages ship fine