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
I say delaboration only bc that's what it's called in the Idris compiler. I'm willing to spell it differently though. (de-elaboration, maybe?)
Resugaring is only a specific kind of delaboration, so I don't think that should be the overall opposite of elaboration.
1
2
Hehe, neat! I liked 'delaboration' because of the symmetry, and it was cute - nice to know that was thinking similarly. :3
1
1
I like "delaboration" too
1
3
Show replies