I already have a lexer/parser, but my knowledge is unfortunately mixed when it comes to semantic model, symbol solving, type checking, cross-reference resolution (and the PLTD
Stack Exchange site sucks; don't get any answer there)... I've previously tried something and reached until a language server, but gave up in the project.

I'd rather use something for facilitating implementing these semantic stuff because there's a lot of type inference to do.

To add:

• Also need to consider that I'll use package resolution like in Java, where source files are referenced lazily.
• The default name system needs to be sort of three-dimensional like XML, e.g. (prefix, local_name)

Maybe I don't need a full framework, but some libraries with built-in algorithms for things like bidirectional type checking and things for the semantic model, and also need to know how to use them in my type checker.

1 post - 1 participant

Read full topic