←back to thread

517 points bkolobara | 1 comments | | HN request time: 0.221s | source
Show context
phplovesong ◴[] No.45050053[source]
This boils down to "dev found out that a static typesystem is usefull".

Its always funny when i see these kinds of posts.

replies(3): >>45050162 #>>45050390 #>>45053842 #
bkolobara ◴[] No.45050162[source]
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.

replies(2): >>45050377 #>>45054951 #
1. Tryk ◴[] No.45050377[source]
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.