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
'elaboration' should just be 'submerge' lol
1
tbh I was thinking more submercibles or 'journey to the center of the earth' stuff 😂
1
Replying to
metaphorical confusion is very much my default state when it comes to CS/Softwhare Engineering