this whole thread has me like *distressed crab noises*https://twitter.com/moxie/status/1256640034054135808 …
Show this thread
-
Rust gets away with so permissive a type-inference engine at binding sites precisely because it doesn't have this problem. all functions are fully specified in their signature, and since symbols in a scope can't collide, it's trivial to find the decl sitehttps://twitter.com/moxie/status/1256640035576623105 …
Show this thread
Not to mention your tools can show you the inferred type at any point if you feel you need to see it. It's not like type inference is the same thing as dynamically typed. The information is still there, and can be exposed if you need it.
-
-
That does assume the tools can do this. Even Rust (which has the stated benefits) has trouble often, and I've never seen, say, a code review platform with this capability for any language.
-
rust-analyzer definitely does do this (which is admittedly a young technology). But this whole argument also assumes that the type of a variable is always (or even often) a useful thing to see, which I don't believe is the case.
- 5 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.