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