Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:117911
MIME-Version: 1.0
References: <CAFPFaM+Z9WYEOc2aXt5yQPQFpuCuXZitpg8p67rUF7QSha_hKA@mail.gmail.com>
In-Reply-To: <CAFPFaM+Z9WYEOc2aXt5yQPQFpuCuXZitpg8p67rUF7QSha_hKA@mail.gmail.com>
Date: Sun, 12 Jun 2022 11:13:39 +0100
Message-ID: <CAFPFaM+ARbG3idnzkti6B+JyE2-p1GhdfSciN8uiA9WDiQ7=yw@mail.gmail.com>
To: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000938e5e05e13d6d58"
Subject: Re: [PHP-DEV] [RFC] Disjunctive Normal Form Types
From: george.banyard@gmail.com ("G. P. B.")

--000000000000938e5e05e13d6d58
Content-Type: text/plain; charset="UTF-8"

On Sat, 19 Mar 2022 at 16:38, G. P. B. <george.banyard@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

--000000000000938e5e05e13d6d58--