On Sat, 19 Mar 2022 at 16:38, G. P. B. <george.bany...@gmail.com> wrote:
> Hello internals, > > I would like to open the discussion on the Disjunctive Normal Form (DNF) > types RFC: > https://wiki.php.net/rfc/dnf_types > > The implementation for it is available on my fork, [1] but currently > relies on a pending PR [2] to make the implementation simpler. > > DNF types are a way to mix intersection and union types together in a > single type. > For example: > - (A&B)|null > - (Traversable&Countable)|array > > Best regards, > > George P. Banyard > > [1] https://github.com/Girgias/php-src/pull/10 > [2] https://github.com/php/php-src/pull/7309 > I would like to open voting on this during the week now that the pending PR has been merged and the implementation is mostly done (modulo some OpCache changes and edge cases to test) PR: https://github.com/php/php-src/pull/8725 If there are any concerns or things to address now is the time. Best regards, George P. Banyard
