hashc
hashc copied to clipboard
hash-org
The Hash programming language compiler :zap:
This will greatly help reduce the amount of duplication in TC code
Replace current substitution-based evaluation with NbE into some semantic domain. Steps: 1. Figure out what the semantic domain should be 2. How to represent it? Separate data structure probably.. 3....
- Type info about a node - Where it is defined - What kind of node it is - Where are its references - Autocomplete in some span and given...
Currently, there is no mechanism to clear all of the static stores that are being used in the compiler. This task involves changing the static stores interface to have a...
The idea is to transition to having the following passes after untyped analysis: - Scope checking: This checks that all declarations are referenced in a valid way, there are no...
This will be needed by register allocation, and in general it can allow for optimisations where things are removed since they aren't ever used.
Another powerful optimisation pass which any serious compiler will perform. The function inlining pass will attempt to small functions into other functions to avoid the "cost" of a call. There...