2 Feb
2020
2 Feb
'20
5:10 p.m.
Thank you so much for this concrete proposal. I could not have described it clearer myself. I'm not sure about leaving out the parentheses. But this is mostly out of preference. Especially since Python also has a `type()` function. I also thought about using `name()` instead of `nameof()` to be more consistent with that. I can also see your point of view though. Out of personal curiosity: Is the way you described the grammar an official notation, and if so, could you give me a link to some documentation?