Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:126891
Precedence: bulk
MIME-Version: 1.0
Date: Fri, 21 Mar 2025 13:17:55 +0200
To: "Gina P. Banyard" <internals@gpb.moe>
Cc: 'php internals' <internals@lists.php.net>
Subject: Re: [PHP-DEV] [VOTE] Optional Interfaces
In-Reply-To: <Ys192Z_GkzTsPf-ZGRqF3kFu59p1aGLPbPbjXfSfsS5Upx5VfrIko0U9c8Z_04CPfl_DcFvuJ2aFQJru55f8i5IEYsDXSkLurXZlbxoiTXg=@gpb.moe>
References: <084101db94b8$73da47e0$5b8ed7a0$@glaive.pro>
 <c6d0feddba246329ff5841c967a9206e@glaive.pro>
 <Ys192Z_GkzTsPf-ZGRqF3kFu59p1aGLPbPbjXfSfsS5Upx5VfrIko0U9c8Z_04CPfl_DcFvuJ2aFQJru55f8i5IEYsDXSkLurXZlbxoiTXg=@gpb.moe>
User-Agent: Roundcube Webmail/1.4.8
Message-ID: <5aa023086288aeee362bd7720e933368@glaive.pro>
Organization: SIA "Glaive.pro"
Content-Type: multipart/alternative;
 boundary="=_43b2c40e3d2a043f8c6c09d05914fbd2"
From: juris@glaive.pro (Juris Evertovskis)

--=_43b2c40e3d2a043f8c6c09d05914fbd2
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=US-ASCII;
 format=flowed

On 2025-03-20 18:09, Gina P. Banyard wrote:

> And another user [2] was basically suggesting my previous solution of 
> adding support for type classes/runtime implementation of interfaces.

Hey,

There are two ideas -- the `$object implements Iface` that you suggested 
and the `SomeClass implements Iface` that was suggested on reddit. I see 
the instance-specific one as something that a consumer can do in their 
project if they know that the `$object` actually fits where needed. That 
would be a cool feature per se. But it seems to me it would take a lot 
of bridging code to provide such "dynamically implementing" objects if 
you're the package author.

I'll address the `SomeClass implements Iface` expression vs `class 
SomeClass implements ?Iface` hereinafter.

The `?OptionalInterface` would always be within the class definition and 
in a real-life project with PSR-4 you could check the interface 
existence by inspecting the file tree or click-throughing the name in an 
IDE.

It's not obvious to me how the runtime implementation expressions could 
be in such a discoverable spot. The expression could be anywhere in the 
project. And it will likely be inside conditionals. It would surely be 
hard to discover manually. I'm not a developer of stan tooling, but I 
expect it would complicate automated static analysis as well.

BR,
Juris
--=_43b2c40e3d2a043f8c6c09d05914fbd2
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html; charset=UTF-8

<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; charset=
=3DUTF-8" /></head><body style=3D'font-size: 10pt; font-family: Verdana,Gen=
eva,sans-serif'>
<p id=3D"reply-intro">On 2025-03-20 18:09, Gina P. Banyard wrote:</p>
<blockquote type=3D"cite" style=3D"padding: 0 0.4em; border-left: #1010ff 2=
px solid; margin: 0">
<div id=3D"replybody1">
<div style=3D"font-family: Arial, sans-serif; font-size: 14px;">
<div class=3D"v1protonmail_quote">
<div>&nbsp;</div>
<div><span><span>And another user [2] was basically suggesting my previous =
solution of adding support for type classes/runtime implementation of inter=
faces.</span></span>
<div>&nbsp;</div>
</div>
</div>
</div>
</div>
</blockquote>
<p>Hey,</p>
<p>There are two ideas &mdash; the `$object implements Iface` that you sugg=
ested and the `SomeClass implements Iface` that was suggested on reddit. I =
see the instance-specific one as something that a consumer can do in their =
project if they know that the `$object` actually fits where needed. That wo=
uld be a cool feature per se. But it seems to me it would take a lot of bri=
dging code to provide such "dynamically implementing" objects if you're the=
 package author.</p>
<p>I'll address the `SomeClass implements Iface` expression vs `class SomeC=
lass implements ?Iface` hereinafter.</p>
<p>The `?OptionalInterface` would always be within the class definition and=
 in a real-life project with PSR-4 you could check the interface existence =
by inspecting the file tree or click-throughing the name in an IDE.</p>
<p>It's not obvious to me how the runtime implementation expressions could =
be in such a discoverable spot. The expression could be anywhere in the pro=
ject. And it will likely be inside conditionals.&nbsp;It would surely be ha=
rd to discover manually. I'm not a developer of stan tooling, but I expect =
it would complicate automated static analysis as well.</p>
<p>BR,<br />Juris</p>

</body></html>

--=_43b2c40e3d2a043f8c6c09d05914fbd2--