Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:107627
To: Nikita Popov <nikita.ppv@gmail.com>, PHP internals
	<internals@lists.php.net>
Thread-Topic: [PHP-DEV] Re: [RFC] Union Types v2
Thread-Index: AQHViLwyaEvmMSOYQkSvsPkH2vQSl6dmmFE8
Date: Tue, 22 Oct 2019 12:38:30 +0000
Message-ID:
 <MN2PR02MB5775DDEA6332048DB9C9E52EBF680@MN2PR02MB5775.namprd02.prod.outlook.com>
References:
 <CAF+90c8EvfFPqjRJjJ3T-qTfLiWn7aZzCrGpk7R3yNFLT1qWjQ@mail.gmail.com>,<CAF+90c9ZVt+ig91DSazjf59uysKFFkCiEDhMLgLSaw4KApuBfg@mail.gmail.com>
In-Reply-To:
 <CAF+90c9ZVt+ig91DSazjf59uysKFFkCiEDhMLgLSaw4KApuBfg@mail.gmail.com>
Accept-Language: en-US
Content-Language: en-US
cloudiway500: noi$yRiver10
received-spf: None (protection.outlook.com: zend.com does not designate
 permitted sender hosts)
Content-Type: multipart/alternative;
	boundary="_000_MN2PR02MB5775DDEA6332048DB9C9E52EBF680MN2PR02MB5775namp_"
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-Network-Message-Id: 573da710-56b7-49b8-9a73-08d756ecbe90
X-MS-Exchange-CrossTenant-originalarrivaltime: 22 Oct 2019 12:38:30.3753
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 32210298-c08b-4829-8097-6b12c025a892
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: zhH5TaJnAEvVbobnRoHaGwO7aMuxROswqyAOA00W+O3WLcxjyfS+BCUC1xw4Zyoqmt9Wra1TRJdEUQVcl9G/DFEEHIEnQqp2vAOlSOBnAWQ=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MN2PR02MB5808
X-Envelope-From: <dmitry@zend.com>
Subject: Re: [PHP-DEV] Re: [RFC] Union Types v2
From: dmitry@zend.com (Dmitry Stogov)

--_000_MN2PR02MB5775DDEA6332048DB9C9E52EBF680MN2PR02MB5775namp_
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

Hi Nikita,

Can you please give me one/two days, before starting the voting, for implem=
entation review (at least until October 25),

Thanks. Dmitry.

________________________________
From: Nikita Popov <nikita.ppv@gmail.com>
Sent: Tuesday, October 22, 2019 12:36
To: PHP internals <internals@lists.php.net>
Subject: [PHP-DEV] Re: [RFC] Union Types v2

On Wed, Sep 4, 2019 at 10:26 AM Nikita Popov <nikita.ppv@gmail.com> wrote:

> Hi internals,
>
> I'd like to start the discussion on union types again, with a new proposa=
l:
>
> Pull Request: https://github.com/php/php-rfcs/pull/1
> Rendered Proposal:
> https://github.com/nikic/php-rfcs/blob/union-types/rfcs/0000-union-types-=
v2.md
>
> As an experiment, I'm submitting this RFC as a GitHub pull request, to
> evaluate whether this might be a better medium for RFC proposals in the
> future. It would be great if we could keep the discussion to the GitHub
> pull request for the purpose of this experiment (keep in mind that you ca=
n
> also create comments on specific lines in the proposal, not just the
> overall discussion thread!) Of course, you can also reply to this mail
> instead. The final vote will be held in the wiki as usual.
>
> Relatively to the previous proposal by Bob&Levi (
> https://wiki.php.net/rfc/union_types), I think the main differences in
> this proposal are:
>  * Updated to specify interaction with new language features, like full
> variance and property types.
>  * Updated for the use of the ?Type syntax rather than the Type|null
> syntax.
>  * Only supports "false" as a pseudo-type, not "true".
>  * Slightly simplified semantics for the coercive typing mode.
>
> Regards,
> Nikita
>

An implementation of this proposal is now available at
https://github.com/php/php-src/pull/4838. As the implementation didn't turn
up any new issues, I think it's time to move this RFC forward to voting.

Nikita


CAUTION: This email originated from outside of the organization. Do not cli=
ck on links or open attachments unless you recognize the sender and know th=
e content is safe.

--_000_MN2PR02MB5775DDEA6332048DB9C9E52EBF680MN2PR02MB5775namp_--