It seems GitHub is building new code navigation features using Rust github.blog/2021-12-09-int I wonder if this aims to replace semantic, written in Haskell, used for code navigation of other languages previously
Conversation
Replying to
Cool to see the research on scope graphs making it into industry at the very least! I'd imagine it's pretty useful formalism for languages like Python and Rust where figuring out the scope of definitions can be mighty challenging.