Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:115769
MIME-Version: 1.0
References: <CAMrTa2HYeKaE9E+A81HvSykpAD8ctd6aK9vtg_U15bYjyjzLKA@mail.gmail.com>
 <CAF+90c9_GMyyMfSFGsELaEbi5-Cbcx68ae8OkUpE8WuEm46m_w@mail.gmail.com>
 <CAMrTa2GGrmmHFM+_K63gfxdLEEWdiotHQbXm1VmUK1fi4AC-kg@mail.gmail.com> <CAF+90c-Z+n16s=_bBgaLpsXEGknCYv9tN2Xk1bvUs563RMp3_A@mail.gmail.com>
In-Reply-To: <CAF+90c-Z+n16s=_bBgaLpsXEGknCYv9tN2Xk1bvUs563RMp3_A@mail.gmail.com>
Date: Sat, 21 Aug 2021 21:15:48 -0700
Message-ID: <CAMrTa2E23M8Aue+bFMvPdUK4UL133QkHrhL0buf+cJKq=VGddA@mail.gmail.com>
To: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000823a1105ca1e28ea"
Subject: Re: [PHP-DEV] [RFC] Never For Argument Types
From: jordan.ledoux@gmail.com (Jordan LeDoux)

--000000000000823a1105ca1e28ea
Content-Type: text/plain; charset="UTF-8"

Hey all,

Thanks for the feedback and the engagement on this RFC. I'll be withdrawing
this RFC as it's clear that its drawbacks are too large for the benefits it
does provide from internals' perspective. Essentially, I saw a very small
and safe change that could be made to the engine that would instantly
provide covariant parametric polymorphism, and I wanted to explore if it
was an option. Instead, I'll probably take the feedback on this RFC and
roll it into a much more comprehensive approach to that particular feature,
perhaps centered around something like abstract interfaces or templates.

The engine-hook scenarios that this particular RFC would serve have other
ways of being addressed, one of which I utilize in the operator overload
RFC by forcing explicit typing and then providing no interfaces at all. I
do not know if I'll try and approach the more comprehensive approach to LSP
preserving covariant parametric polymorphism for 8.2, but it'll be
something I work on here and there. If anyone else wants to pick that up
sooner contact me directly and I'll hand over my research and work to date.

In any case, thank you all for the feedback!

Jordan

--000000000000823a1105ca1e28ea--