I find reasonable up lvl of abstraction and use graph DSL like Cypher for directly accessing to graphs inside code. So what do you think about it?
If there are no objections or comments, immediately after the current task, I will move on to this task. Or maybe have sense use whole graph query language
I agree that we need some more structured way to represent Rust code for an IDE
https://github.com/GabrielDosReis/ipr seems like a good model to learn from
However, I think the main question is not the "shape" of model (graph, sea of objects, table of facts), but, rather, what are the entities that we are modeling.
As in, I have a very fuzzy boundaries in my head beween ide, hir, and hir_xxx crates. Without making those boundaries crisp, it doesn't really matter what specific formalism we use to describe things.