Have you seen Shuhei Kadowaki's work on JET.jl (?) If you're curious: https://github.com/aviatesk/JET.jl https://github.com/aviatesk/JET.jl This may seem more

Have you seen Shuhei Kadowaki's work on JET.jl (?) If you're curious: https://github.com/aviatesk/JET.jl https://github.com/aviatesk/JET.jl This may seem more about performance (than IDE development) but Shuhei is one of the driving contributors behind developing the capabilities to use compiler capabilities for IDE integration -- and indeed JET.jl contains the kernel of a number of these capabilities.