Re: Parameter type widening RFC
| From: | Andrey Andreev | Date: | Thu, 25 May 2017 14:30:03 +0000 |
| Subject: | Re: Parameter type widening RFC | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-99176@lists.php.net to get a copy of this message | ||
Hi,
On Tue, May 23, 2017 at 10:38 PM, Fleshgrinder <php@fleshgrinder.com> wrote:
>
> I also had a look at the GitHub discussion, and I think that the things
> that were written there have nothing to do with your concern. The people
> commenting there simply did not understand LSP.
>
Well, here's one who doesn't claim to fully understand LSP -> Me
I'm trying, but fail to find a source that says replacing stdClass
with mixed/any/etc is ok. Every (re)definition and example talks about
substituting *objects* with their subtypes, and one particular source*
even explicitly defines what is considered a subtype.
The RFC is very much lacking in details and I can only assume, by the
above logic, that it considers "mixed" a subtype of ... everything?
What am I missing?
* http://www.engr.mun.ca/~theo/Courses/sd/5895-downloads/sd-principles-3.ppt.pdf
Cheers,
Andrey.