Our readingWhat is a korrent?
He prefers languages with expressive type systems and has still never noticed them making him more productive or less bug-prone.
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