`restricted` member variables

Thu Jun 23 09:42:59 UTC 2022

On Thursday, 23 June 2022 at 09:30:49 UTC, deadalnix wrote:
> Usually, while you increase things on one axis, you also 
> diminish them on another.

I don't see how providing more expressive constraints diminish 
anything on a semantic level if sound.

There is an implementation/design/educational cost, but history 
suggests that languages over time add more expressive 
constraints: C++ concepts/consteval, Python typing module, 
TypeScript, JavaScript classes/private.