Our readingWhat is a korrent?
Enforcing safe mutable value semantics (e.g. via borrow-checking) is far easier to do cheaply with a static type system than with a dynamic one.
Drawn from what Jamie Brandon said
On the topicDo static types make software better?under our view: If you are going to have types, have the strictest kind