Immediate, Rust-level type hints about julia-vscode HOT 2 OPEN

This is along the lines of what I wanted to do initially, but one reason I switched was that there was a desire to not load/ execute user code in the LSP.

This seems like a good idea if we can deal with that.
Alternatively, the extension could just take the descend call you wanted to run, e.g. Cthulhu.descend(foo, ([1, 2, 3],)) and run it in the REPL in the background. I think this should work and achieve a similar result.

The other reason I switched to using the REPL was so we could use variables and redefined function from the REPL but with the alternative approach maybe we could continue to support that. Or at worst we don't but you can just run 'descend like we do currently.

Another concern would be if Cthulhu would be fast enough, iirc the main reasons why it's slow is pretty printing types and compilation. Presumably if we're rerunning Cthulhu a lot we could ensure it's caching things appropriately so that it is able to be fast.

Also, I'm not sure a comment in a file is the best place for this to be in the long term but we can of course change it at some point. Whilst Cthulhu only supports descending in a single file for now, if it did support multiple files it could get tricky to know which descend to run if there are multiple or to know where which file the descend comment is in.

from julia-vscode.

Good points!

I moved this post to discourse btw: https://discourse.julialang.org/t/how-can-we-get-rust-level-feedback-on-type-stability/113497, maybe copy your comment there so others can see it?

from julia-vscode.