Skip to main content

Questions tagged [symbol-solving]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
1 answer
246 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 ...
Hydroper's user avatar
  • 1,007
5 votes
2 answers
402 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 ...
CPlus's user avatar
  • 8,281
4 votes
1 answer
167 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 ...
Hydroper's user avatar
  • 1,007
7 votes
3 answers
87 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 ...
Hydroper's user avatar
  • 1,007