One additional point, since this is a second review of this proposal, it is important and useful to take into consideration the core team's feedback on the first round. Here are some of the salient points taken from that post (please see the full post for more context):
- The core team is very positive about the idea of this feature,
- The core team doesn't think that a type level attribute is necessary, and there is no reason to limit this to primal type declarations
- The core team does not want to support user-defined unique names for callable declarations
- The core team recommends picking a standard name (like
callorinvoke) that can be used as a normal named member, and which is automatically callable with function invocation syntax. - The core team discussed the fact that no matter what identifier is chosen, that this could impact some existing code that already uses that name. The core team doesn't find this concerning.
- The core team would like discussion of various possible names to see if
callis the best name, or if something else would be better.
-Chris