2 ms·
That was a useful write up, thanks It's more unusual to find writeups on implementation of semantics or typchecking, but as you say, more important Keeping th
by tsegratis 4y ago
That was a useful write up, thanks
It's more unusual to find writeups on implementation of semantics or typchecking, but as you say, more important
Keeping the env flat, and like a relational database (for typechecking) sounds like an idea i will take
- the_clarence 4y agoI’ve always wondered why Rust creates a unique id per atom and keeps track of type information in a hashmap using that unique id as key (instead of storing the type information within the atoms themselves). I guess it is to keep things flat, or reuse the same structure for different passes. Other approaches like the nanopass approach creates different structs for each pass: https://legacy.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf https://legacy.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf