Re:Prusti: Static Analyzer for Rust
by nerdponx on Thursday October 13, 2022 @10:55AM
(#33191847)
A lot of Python teams use a linter that can catch errors like "variable used before defined" as well as matters of code style, and increasingly a static type checker in addition to that (which also does its own set of such checks).
[ Parent
| on HN ]
There are no comments on this comment yet.