Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:112448
MIME-Version: 1.0
References: <d1c4689e-9120-4e90-837c-a1b3eac63cd6@www.fastmail.com>
 <CAN2symh0kEQRa+1DxRAzJHrdqmQFP2xnjKGd1wmsfU_Lv9rH=A@mail.gmail.com>
 <32277b43-079d-4cd7-a159-8ad555096742@garfieldtech.com> <CAN2symgz-4BoLMUUyQMRXAzzCBB3nf+p160UJyB0H-LCFThXvw@mail.gmail.com>
 <31c9d66b-771a-35ed-1b11-c681bbcc02c3@gmail.com> <a41d11bd-4679-4951-abb9-78f36e51b538@www.fastmail.com>
In-Reply-To: <a41d11bd-4679-4951-abb9-78f36e51b538@www.fastmail.com>
Date: Sun, 6 Dec 2020 17:07:38 -0800
Message-ID: <CAN2symhYFEWUnWGUxV78s5hVj12k=BLYRDoC34cuiiOGQSrL_g@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] [RFC] Enumerations
From: paul.crovella@gmail.com (Paul Crovella)

On Sun, Dec 6, 2020 at 7:49 AM Larry Garfield <larry@garfieldtech.com> wrote:
>
> On Sun, Dec 6, 2020, at 9:11 AM, Rowan Tommins wrote:
>
> > Note that Larry's longer term plan is for "algebraic data types",
> > including "tagged unions": https://wiki.php.net/rfc/adts Unlike
> > straight-forward enum cases, these are not singletons, and each instance
> > has its own associated state.
>
>
> I was going to respond, but I think Rowan summed it up here.

That's disappointing as he didn't even attempt to address the majority
of my concerns.

> Stateful enums are called tagged unions, and that's a separate phase to keep the implementation and discussion focused for now.

I am only talking about the RFC you presented, you and Rowan are the
ones bringing up others.

> We hope to add those in the future, but for now unit and scalar enums have a ton of value unto themselves.
>
> --Larry Garfield

To be clear I want enums in PHP, I think most people do, which is why
I'd like to see this RFC improved.