Type System & PL Twitter question:
What is a good name for the opposite of 'elaboration'? Ie. going from the core language back to the surface language. Some ideas:
- resugaring
- delaboration
- co-elaboration (collaboration? 🤪)
Conversation
This Tweet was deleted by the Tweet author. Learn more
Replying to
Yeah, I was more looking for the step _before_ pretty printing to a string from the surface language. But just like everything starts to look like a parser the closer you look, I can see how you could potentially see it as a form of pretty printing to the surface language.
