Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:120796
MIME-Version: 1.0
References: <CAFMT4Nq3y+XKUP7aG7F7aht1DdM7dpqxMT-hcS+Nyvc9FaT=+A@mail.gmail.com>
 <CAFPFaMJyE9EWv=8RdC=T0sB1bt6f5CrQikh3s+p6oTo-RbM6BQ@mail.gmail.com>
In-Reply-To: <CAFPFaMJyE9EWv=8RdC=T0sB1bt6f5CrQikh3s+p6oTo-RbM6BQ@mail.gmail.com>
Date: Wed, 12 Jul 2023 18:47:55 +0100
Message-ID: <CA+p1FabfF1CkYm6YZaqg6_zTq7tGwuTnNg_uNEHqSg0nEJfr2g@mail.gmail.com>
To: "G. P. B." <george.banyard@gmail.com>
Cc: Levi Morrison <morrison.levi@gmail.com>, internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000006192e306004dd10a"
Subject: Re: [PHP-DEV] [VOTE] Interface Default Methods
From: davidgebler@gmail.com (David Gebler)

--0000000000006192e306004dd10a
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Wed, Jul 12, 2023 at 5:01=E2=80=AFAM G. P. B. <george.banyard@gmail.com>=
 wrote:

>
> Maybe the resistance to the proposal would be far less if the RFC, and
> implementation, would check at compile time that the default
> implementations only rely on known existing functions available to the
> interface.
>

I asked in the discussion if this was a possibility, and it's the biggest
concern I had about the feature as proposed. Rowan answered "As the RFC
says, it introduces a form of multiple inheritance, and inheritance in PHP
doesn't make any such guarantee" and Levi added "I hope static analysis can
fill the gap here, but don't think these checks are necessary to ship this
feature" - and this is fair enough, I think; we kind of do accept the
nature of PHP is that there is some anti-intuitive weirdness versus
statically compiled languages. I wasn't convinced at first but I've come to
be persuaded even if it's not a perfect implementation of default methods
as I would have wanted them, it's still a significant improvement on the
trait + interface model we have now. It's ultimately a step in the right
direction and I'm disappointed now it looks like it's not going to happen,
at least in the next release. Would be good to know from some of the no
votes if they'd reconsider for a future version.

--0000000000006192e306004dd10a--