Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:115599
MIME-Version: 1.0
References: <CAOWwgp=B7-AvMao0POCF_h_A3A4voHNA_BsjfonBQ8yDHb0v-A@mail.gmail.com>
 <CAESVnVrCpYCB9VLFvAFbM4gzdBxHcmJQt75cqFcT0wHowMjXYw@mail.gmail.com>
 <F039E1EA-572D-460A-93B5-CBEAA47780FF@stitcher.io> <CAMrTa2EB8rq16bBO-EQ3YBJJmj_s1VqZLji95JSF=3fbDotXUQ@mail.gmail.com>
 <002e01d78326$27ed0680$77c71380$@webkr.de> <E9E140C0-8228-4CA8-9473-855471892C35@gmail.com>
 <CAEZPtU5cyv+hu45Va5sj=YXaUDK=Dd2ZMH66QnteJHAD2L+8Ow@mail.gmail.com> <CAMrTa2F0CY319OkWFNVK_+gLJyc91fkiH3DLbSgxajOYU17aWA@mail.gmail.com>
In-Reply-To: <CAMrTa2F0CY319OkWFNVK_+gLJyc91fkiH3DLbSgxajOYU17aWA@mail.gmail.com>
Date: Wed, 28 Jul 2021 10:26:00 +0700
Message-ID: <CAEZPtU7Rb4oCmet57UYWCy0bkKpA5fQ8hutEc+X5_KX-3BM_MQ@mail.gmail.com>
To: Jordan LeDoux <jordan.ledoux@gmail.com>
Cc: Rowan Tommins <rowan.collins@gmail.com>, PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000005a111005c8268ca2"
Subject: Re: [PHP-DEV] [RFC] Nullable intersection types
From: pierre.php@gmail.com (Pierre Joye)

--0000000000005a111005c8268ca2
Content-Type: text/plain; charset="UTF-8"

Hi Jordan,

On Wed, Jul 28, 2021, 10:02 AM Jordan LeDoux <jordan.ledoux@gmail.com>
wrote:

> Intersection types are very useful if you use composition over
> inheritance. That is, in PHP, they are most useful when you are using
> multiple interfaces and/or traits to represent different aspects of an
> object which might be present. For example, using an actual library I
> maintain, I have a concept of different number type objects.
>

Thanks for the detailed explanation. I do use them for very specific things
(similar to your examples, for shapes).

However my question was more about the rush for it, those are not easy to
implement nicely, given the actual use cases, I am not sure it was worth
this hurry. And I have the same feeling for this discussion about nullable
intersection.

best,
Pierre

>

--0000000000005a111005c8268ca2--