Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:117380
MIME-Version: 1.0
References: <CAFPFaM+Z9WYEOc2aXt5yQPQFpuCuXZitpg8p67rUF7QSha_hKA@mail.gmail.com>
In-Reply-To: <CAFPFaM+Z9WYEOc2aXt5yQPQFpuCuXZitpg8p67rUF7QSha_hKA@mail.gmail.com>
Date: Sat, 19 Mar 2022 18:46:05 +0200
Message-ID: <CAM0Ccxgq_u_7u0-7asH7Y--9biuivkoAH0Y8Tx5sHMtOGCK3Xg@mail.gmail.com>
To: "G. P. B." <george.banyard@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000087bc9e05da9500ed"
Subject: Re: [PHP-DEV] [RFC] Disjunctive Normal Form Types
From: zsidelnik@gmail.com (Eugene Sidelnyk)

--00000000000087bc9e05da9500ed
Content-Type: text/plain; charset="UTF-8"

Looks very interesting, and most importantly, useful.

On Sat, Mar 19, 2022 at 6:38 PM 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
>

--00000000000087bc9e05da9500ed--