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
Someone from a different culture should be able to look up the word (eg in a dictionary) and get some information as to what you mean. So, {de,un}-elaboration but not delaboration or collaboration.
1
7
Yeah, this is a very good point! Thanks! I guess I just find `de-elaboration` a bit ungainly, especially as a module name in my compiler! Perhaps I can think of something else though - accessibility is pretty important to me. 🤔
1
I do often try to add doc comments where possible (this is in the context of a compiler). Would that help matters, in spite of the name I choose? I often struggle to understand some academic compilers when they don't have many doc comments, so I try to do differently! 😅