What kind of compiler / ide support you are looking for? The last time I’ve checked it was an open (unsolved) research problem in computer science on how to integrate these kinds of things into compilers. There are a few research langs that attempt to “solve” it in some way, but with serious limitations