> I'm not convinced that the problem is all that more difficult than for Java. Turing complete type system + turing complete macro system => you gotta run (com

> I'm not convinced that the problem is all that more difficult than for Java. Turing complete type system + turing complete macro system => you gotta run (compile) the thing to see what it does or is (Rice's theorem). For a language like Zig, which also has a turing complete compilation step, due to it's comptime sytem, this limitation also applies, but Zig mitigates this with insanely quick compile times. So for these multi project analysis to work you either need to have a very syntax heavy language (Java) or a fast compiler (Zig). Although the latter doesn't really have that strong of a type system in practice (though I think you could implement a datalog engine like rust has in comptime and do arcane type magic then ;) ). If you compile the packages yourself you can get rustdoc to provide you with the correct links, but then we're back to the manual labor part which I'd like to remove in order to get eco-system-wide docs.