Title
Terminology for objects whose types model a concept
Status
new
Section
[res.on.requirements] [structure.requirements]
Submitter
Jonathan Wakely

Created on 2024-04-19.00:00:00 last changed 7 days ago

Messages

Date: 2025-10-15.00:00:00

[ 2025-10-14; Reflector poll ]

Set priority to 3 after reflector poll.

"OK with finding a way to shorten this, but not as suggested above. Overloading the term "models Concept" for both objects and types would be confusing."

"Just say 'a `stoppable-source` object', or 'a `stoppable_token` object'"

Date: 2024-04-19.00:00:00

During P2300 review the suggestion was raised that it might be helpful to be able to talk about "an object that models `Concept`" instead of "an object whose type models `Concept`" or other more verbose forms.

History
Date User Action Args
2025-10-14 17:45:42adminsetmessages: + msg15156
2024-04-19 00:00:00admincreate