Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:110577
MIME-Version: 1.0
References: <9D1E1E08-7DD5-4FD3-B08E-58254CC75FC5@newclarity.net>
 <CAF+90c8zb1kw9PoSwZ1p_QQpaXcCX4W0-iAvXrY0-5PwEbtgng@mail.gmail.com> <CABdc3Woc4Z3HJWDX=Pc-BovFQghLqf1Qd5m+j7+k1WxFuRpOBg@mail.gmail.com>
In-Reply-To: <CABdc3Woc4Z3HJWDX=Pc-BovFQghLqf1Qd5m+j7+k1WxFuRpOBg@mail.gmail.com>
Date: Tue, 16 Jun 2020 11:26:39 +0100
Message-ID: <CA+kxMuR=p+9F0dQ32Bscj4eSJ3UQTTDn-dE=Gim9Z4T+ZusTDA@mail.gmail.com>
To: =?UTF-8?Q?Micha=C5=82_Brzuchalski?= <michal.brzuchalski@gmail.com>
Cc: Mike Schinkel <mike@newclarity.net>, PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] Remove LSP checks on static methods?
From: Danack@basereality.com (Dan Ackroyd)

Mike Schinkel wrote:
> My primary use-case where I would like to see checked relaxed is
> for static methods used as factory methods[2].

Mike,

It's not reasonable to expect people to read multiple links and try
and guess what you're trying to say.

If you can't express the exact problem you're trying to address, it's
unlikely to get a useful response.

Mike Schinkel wrote:
> Per [3] it seems that all but the least upvoted answer argues that LSP ap=
plies to instances,

"language-agnostic"

Arguments that apply to other languages do not necessarily map well to
PHP and how it works.

Again, the problem would need to be clearly specified before a useful
response can be given.

> Micha=C5=82 Brzuchalski
> In that case maybe a core annotation like "Override" to relax checks ??

I'm pretty sure that annotations that make it harder to reason about
how code is going to work are generally a bad idea.

cheers
Dan
Ack