|
|
|
|
|
|
by throwup238
224 days 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). |
|
|
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