Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:112465
MIME-Version: 1.0
References: <d1c4689e-9120-4e90-837c-a1b3eac63cd6@www.fastmail.com> <CAJpLVh3+H07BEy3v8v2jkwibFdgqZL9FdHBB4PhtGeH-oieK_w@mail.gmail.com>
In-Reply-To: <CAJpLVh3+H07BEy3v8v2jkwibFdgqZL9FdHBB4PhtGeH-oieK_w@mail.gmail.com>
Date: Mon, 7 Dec 2020 22:06:00 +0100
Message-ID: <CAJpLVh00Z1Y2Qc0JS2cEDANv7snumx=+aDYCoSGZpSuJuenagQ@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000004f16e705b5e632b7"
Subject: Re: [PHP-DEV] [RFC] Enumerations
From: olleharstedt@gmail.com (=?UTF-8?Q?Olle_H=C3=A4rstedt?=)

--0000000000004f16e705b5e632b7
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Mon, 7 Dec 2020, 21:36 Olle H=C3=A4rstedt, <olleharstedt@gmail.com> wrot=
e:

> Did you discuss exhaustiveness checking already?
>

Nevermind, this is done by match already.


> On Sat, 5 Dec 2020, 00:25 Larry Garfield, <larry@garfieldtech.com> wrote:
>
>> Greetings, denizens of Internals!
>>
>> Ilija Tovilo and I have been working for the last few months on adding
>> support for enumerations and algebraic data types to PHP.  This is a
>> not-small task, so we've broken it up into several stages.  The first
>> stage, unit enumerations, are just about ready for public review and
>> discussion.
>>
>> The overarching plan (for context, NOT the thing to comment on right now=
)
>> is here: https://wiki.php.net/rfc/adts
>>
>> The first step, for unit enumerations, is here:
>>
>> https://wiki.php.net/rfc/enumerations
>>
>> There's still a few bits we're sorting out and the implementation is
>> mostly done, but not 100% complete.  Still, it's far enough along to sta=
rt
>> a discussion on and get broader feedback on the outstanding nits.
>>
>> I should note that while the design has been collaborative, credit for
>> the implementation goes entirely to Ilija.  Blame for any typos in the R=
FC
>> itself go entirely to me.
>>
>> *dons flame-retardant suit*
>>
>> --
>>   Larry Garfield
>>   larry@garfieldtech.com
>>
>> --
>> PHP Internals - PHP Runtime Development Mailing List
>> To unsubscribe, visit: https://www.php.net/unsub.php
>>
>>

--0000000000004f16e705b5e632b7--