3 ms·
That’s my take after using Rust for half a decade. The type system is very powerful and can encode logic in types in a way that’s impossible in most other langu
by throwup238 1y ago
That’s my take after using Rust for half a decade. The type system is very powerful and can encode logic in types in a way that’s impossible in most other languages, which is how the borrow checker works (the lifetime of a reference is part of its type).
- vishnugupta 1y ago> can encode logic in types in a way that’s impossible in most other languages It’d be of great help if you could share an example of this along with an explanation why it’s impossible in a different language say one of Java/C++/Go