3 ms·
Jetbrain's Rust mode for CLion, etc. will do this all over the place -- display inferred/matching types for variables, pattern matches, function arguments, etc.
by cmrdporcupine 4y ago
Jetbrain's Rust mode for CLion, etc. will do this all over the place -- display inferred/matching types for variables, pattern matches, function arguments, etc.
But it would be unfortunate to have to rely on a tool in this way for basic language functionality.
- sacnoradhq 4y agoYes and no. It doesn't matter if a tool is required to elide behavior. In an Ideal World(tm), rust would work more like a functional language by: - elide lifetimes across boundaries, warning if it weren't clearly reducible to less than static - elide types across boundaries, failing that show a counterexample creating a paradox - allow specialization and exclusion of type patterns - discard some dyn and impl for simplicity rather than invent confusing constructs - and of course add dependent typing :)