The future of ZLS and the compiler daemon

IIUC, Zig’s semantics are operational in nature and most probably not going to change in the coming future. I have no problem with that as the procedural, stateful nature of comptime has opened up lots of use cases. An intriguing consequence of that, however, is the creation of a declarative, “shadow” language when Zig is AST-grounded. To put it simply, think of either type and (unknown type) in ZLS, which aren’t a thing in Zig, because nodes in a compilation graph aren’t necessarily bijective t...