Our readingWhat is a korrent?
A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts.
Drawn from what Alice Ryhl said
On the topicDo static types make software better?under our view: Types pay for themselves, mostly through the tools that can be built on them