Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:112421
To: internals@lists.php.net
References: <d1c4689e-9120-4e90-837c-a1b3eac63cd6@www.fastmail.com>
Message-ID: <3c47b09a-5678-5a27-f482-114d0469cf4d@processus.org>
Date: Sat, 5 Dec 2020 10:26:58 +0100
MIME-Version: 1.0
In-Reply-To: <d1c4689e-9120-4e90-837c-a1b3eac63cd6@www.fastmail.com>
Content-Type: multipart/alternative;
 boundary="------------057581AC196C4CDB410AC627"
Content-Language: en-US
Subject: Re: [PHP-DEV] [RFC] Enumerations
From: pierre-php@processus.org ("Pierre R.")

--------------057581AC196C4CDB410AC627
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit

Le 05/12/2020 à 00:24, Larry Garfield a écrit :
> 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 start 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 RFC itself go entirely to me.
>
> *dons flame-retardant suit*
>
Another question, about match() behavior:

 > This usage requires no modification of |match|. It is a natural 
implication of the current functionality.

May be this could be the time to have a "strict match", using enums, we 
can "statically" guess if branches are missing (of course, whenever you 
use default it valid to miss branches) - one thing I'd love is PHP to 
throw a fatal error when compiling a match expression whose missing 
branches, and not wait until runtime to fail.

Regards,

Pierre


--------------057581AC196C4CDB410AC627--