Questions tagged [symbol-solving]
The symbol-solving tag has no usage guidance.
4
questions
2
votes
1
answer
260
views
Semantic modeling in Rust
Correct me if I'm wrong, but as I understand it, a compiler infrastructure such as Roslyn and maybe the JavaParser's symbol solver defines a semantic model with an unified semantic data type often ...
5
votes
2
answers
407
views
Why are symbols (especially static/internal symbols) necessary?
Compiled languages seem to always have to attach some name to any global object, such as a function or global variable, even after they are compiled, but not local variables. As such, languages such ...
4
votes
1
answer
170
views
Supporting a statically-typed language in an IDE?
I'm almost finishing my open-source language's verifier. It performs parsing and verification, which ensures a set of programs are valid both syntatically and semantically at compile-time. To start ...
7
votes
3
answers
88
views
Compile-time reference resolution across Java-like packages
In my language that is similiar to Java, one type from a program's package block can rely on the type of another program's ...