Twitter type theorists, how would you describe the concept known as “elaboration” in one Tweet? I am trying to understand how people use this word.
Conversation
Replying to
It's the process of expressing implicit, overloaded, context sensitive information in a surface language a simpler, more explicit core language, while checking for any mistakes in the process. Kind of like type checking, type inference, and compilation pass rolled into one.
Oh, I just realised the question was directed at type theorists – I'm definitely not claiming to be a type theorist! 🙈
3
On Twitter anybody who wants to be a type theorist (or an epidemiologist, or anti-tank missile expert) can be.
2