Our readingWhat is a korrent?
Layering a static type system atop a dynamic one, capable of proving the dynamic checks redundant, combines the flexibility of dynamic typing with the performance of static typing.
Drawn from what Jamie Brandon said
What these subjects mean
TypeScript A typed superset of JavaScript that compiles to plain JavaScript.
software performance Speed as a mark of quality: bloat, boot times, and software that got slower on hardware that got faster.
On the topicDo static types make software better?under our view: The best types are the ones you can add gradually or let the compiler infer