Re:Rust Is Surprisingly Good as a Server Language
by entha_saava on Monday July 13, 2020 @09:17AM
(#23820403)
Static checking is just a part of correctness verification (pretty large chunk but not enough).
It can't catch many logic bugs, eg forgetting to update a variable's value. The type system can't help without non-straightforward techniques, and at that point it is diminishing returns.
A powerful type system shouldn't be an excuse for not being able to iterate fast.
Re:Rust Is Surprisingly Good as a Server Language
by jfkebwjsbx on Monday July 13, 2020 @06:44AM
(#23819292)
Cargo check does not help with what the parent is talking about, which is a edit-compile-run loop.
That's why you should use `cargo check` instead : it will only run the rust compiler frontend, but not the LLVM linker.