[bkolobara]

My intention with the blog was to show that Rust's lifetime tracking and trait system allow you to catch much more complicated issues than just "one type doesn't match another" errors.

That's the main reason why I chose to compare it with TypeScript, that is also a statically typed language, but just can't catch some issues that Rust can.

[Tryk]

The notion of a type is not fixed, Rust has a more generous conception of what is a type and what its static type system checks.

[phplovesong]

The bug you showed had nothing to do with typescript (JS) but the browser API. Typescript is not a good languge, but still a way better option than vanilla JS.

I kind of wish Haxe would have taken TypeScripts place as it is simply a better language overall.