I wonder what may have changed, e.g. with the RLS and so on
basically inspired by the haskell holes workflow, imagine deliberate support for leveraging the type inference system to assist finding code. (like ‘dot-autocomplete’ on steroids)
and this should be a boost to the command-line edit-compile cycle, even when IDE support is flaky;
haskel-holes deals purely with types I think, but imagine if you could write a placeholder identifier, which will parse into the language’s AST; the presence of any Placeholders precludes compiling a real program; the inference engine should just assume the demands from any sources/dests are met, then the compiler would report the set of functions/methods/fields that could fill that placeholder. ‘dot-autocomplete’ only works forward… this could work forwards and backwards
does any of the progress with the RLS … presumably the compiler engine has been modified since I last looked years ago with more deliberate intent toward tooling; have there been any other requests in this kind of direction ?
the tooling situation is definitely improving, IntellijIDEA support is quite good but still not as solid as C++ environments (obviously, community momentum); it’s definitely one of several important factors in using the language;
I’ve always commented that for me, good IDE support counts for more than the language tweaks between C++ and Rust … and yet I know that some aspects of rust e.g. context-free-grammar could yield superior tooling