Type Inference for Struct/Enum Literals
IchorDev
zxinsworld at gmail.com
Tue Jul 9 08:26:15 UTC 2024
On Tuesday, 9 July 2024 at 04:54:54 UTC, Richard (Rikki) Andrew
Cattermole wrote:
> Yes, I need to talk to Walter about the member-of-operator
> ideally at next monthly meeting to unblock my sum type work.
>
> It is a very restrictive subset of this, which may take some
> convincing as he has some very strong opinions that do impact
> performance. An expansion can come later to introduce
> Identifier Type's as described in this thread with expanded use
> cases.
Ah yes, I’d forgotten all about that!
Do you think I should attend the meeting?
More information about the dip.ideas
mailing list