Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:116833
Date: Thu, 06 Jan 2022 17:11:50 +0000
CC: internals@lists.php.net
User-Agent: K-9 Mail for Android
In-Reply-To: <CAPKYkKyanQfct9SdLGyed76JHYfjr_Pmqn6LczBLWkML2nu_wA@mail.gmail.com>
References: <1641335738.195767637@f174.i.mail.ru> <CA+p1Faa_BAv-DdR7D4Jee2XwNNmVQmmkDf_T_Z_4nAYxWtQPqA@mail.gmail.com> <CAPKYkKy4AtAheYTyS9zn4Bz14x1Eq15amjCcPEBFtvML0cUxGQ@mail.gmail.com> <5a4aebf8-e592-4517-8930-d18b112ef1fd@www.fastmail.com> <5a99809d-afda-546c-5a11-a4f0f821aa37@korulczyk.pl> <A91D0AC0-D646-4C62-9FF3-EDE8279E43B7@gmail.com> <CAPKYkKyanQfct9SdLGyed76JHYfjr_Pmqn6LczBLWkML2nu_wA@mail.gmail.com>
Message-ID: <C3E955EC-B511-4CE9-B9DF-0B801CF01631@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] RFC: Trait expects interface
From: rowan.collins@gmail.com (Rowan Tommins)

On 6 January 2022 16:25:04 GMT, Chase Peeler <chasepeeler@gmail=2Ecom> wrot=
e:
> I think the advantage would come within the trait=2E If I say the trait
>expects an interface with two methods, then the tool can act as if the
>interfaces methods exist in the trait even if they aren't explicitly
>defined=2E As others have pointed out, though, you can get the same behav=
ior
>from declaring the methods not implemented in the trait as abstract=2E


This is where I wonder if people are talking at cross purposes=2E=20

The *only* advantage I've understood of the proposal is to save on copy an=
d paste of abstract methods from an interface into a trait, and everything =
else is just restating that in more complicated ways=2E So, yes, static ana=
lysers could use the information about requiring an interface in exactly th=
e same way they can already use abstract method signatures, to validate the=
 trait itself - but that wouldn't be any *easier* for the tool, and in fact=
 would be extra logic for them to implement, so it seems an odd thing to br=
ing up=2E

But some comments seem to be hinting at some *separate* advantage, to do w=
ith "correct usage" of the trait, which I haven't grasped=2E It's possible =
that the mention of static analysis relates to that in some way, and I'm ju=
st completely missing the point=2E

Regards,

--=20
Rowan Tommins
[IMSoP]