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
Definitely not resugaring, because elaboration is typically more involved than desugaring.
1
4
Replying to
Yeah, I used to use 'resugar' in another type checker, but that was before I had a proper elaborator, and really was just doing desugaring between the concrete and core languages, and type checking on the core.