Amélia Liao 🍊😈 on Nostr: if elaborating a definition mutates a global symbol table to insert the defintion ...

if elaborating a definition mutates a global symbol table to insert the defintion you've lost and will have to live with the consequences of your shitty design (e.g. people can't implement sensible implementations with great performance wins because you have to work around your elaborator being extremely slow (for unrelated reasons) by glorified attempting to find the first line that didn't change and reusing that snapshot of the global mutable elaborator state) forever