Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:99176
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain devilix.net designates 209.85.218.49 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <269187f4-5924-a7cc-9163-40134546451f@fleshgrinder.com>
References: <CADqTB_jB2ic4jx84HXVBPDr2qbP-DnXe782quKwc6o-ERpJJVw@mail.gmail.com>
 <269187f4-5924-a7cc-9163-40134546451f@fleshgrinder.com>
Date: Thu, 25 May 2017 17:30:03 +0300
Message-ID: <CAPhkiZyX1zC3W03CS6KBSgQxoWht96oOeFrAswG2jrSM2zJEPw@mail.gmail.com>
To: "internals@lists.php.net" <internals@lists.php.net>
Cc: Rasmus Schultz <rasmus@mindplay.dk>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] Parameter type widening RFC
From: narf@devilix.net (Andrey Andreev)

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.