Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:127636
Precedence: bulk
MIME-Version: 1.0
References: <CANTuiHsCi30ArpBqDnyUGt5M-RUVJ7trfF5+F0Vq9EeEVuty_g@mail.gmail.com>
 <f6b47389-b4cd-4f56-9016-ad8fcff4c413@app.fastmail.com>
In-Reply-To: <f6b47389-b4cd-4f56-9016-ad8fcff4c413@app.fastmail.com>
Date: Tue, 10 Jun 2025 22:45:46 +0300
Message-ID: <CANTuiHsK+qfVEHE1EPSLp-KmZgqFKoOj28sEERWGhUjzh5dE-Q@mail.gmail.com>
Subject: Re: [PHP-DEV] Feature Discussion |
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000feda1d06373cf17a"
From: xepozzd@gmail.com (Dmitry Derepko)

--000000000000feda1d06373cf17a
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Thanks for participating, Larry.



On Mon, Jun 9, 2025 at 10:29=E2=80=AFPM Larry Garfield <larry@garfieldtech.=
com>
wrote:

> 2. Please link to a PR of your actual implementation.  In context it look=
s
> like your branch comparison link is to the version you said didn't work, =
so
> it's not that helpful.
>

Correct, I don't have another one. This is big feature, I need a lot of
time to implement it. I don't want to waste my time if we decide that RFC
won't pass at all.


> 3. The biggest question that has come up in the past (Ilija and I have
> discussed it at length) is, naturally, autoloading.  How if at all do you
> address that?
>

In the original message I mentioned `use extension` construction. This
should be enough for solution, isn't it?


> 4. The other big question was determining when to match a given "method"
> call to an extension function, when the type of a variable is not always
> known at compile time.  How did you address this?
>

Cannot understand the passage, could you explain more?

The only one way to use these extension functions =E2=80=93 import them.

namespace A {
  use B\Foo;

  function Foo::hello(){...}
  function Bar::hello(){...} <---- Error, unknown Bar class
}

namepsace B {
  class Foo {}

  new Foo->hello() <--- Error, hello() is not a member of Foo
}

namepsace C {
  use B\Foo;
  use extension function A\Foo::hello;

  new Foo->hello() <-- Everything's great
}


--=20
Best regards,
Dmitrii Derepko.
@xepozz

--000000000000feda1d06373cf17a
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr">Thanks for participating=
, Larry.<div><br></div><div><br></div></div><br><div class=3D"gmail_quote">=
<span class=3D"gmail-im" style=3D"color:rgb(80,0,80)"><div dir=3D"ltr" clas=
s=3D"gmail_attr">On Mon, Jun 9, 2025 at 10:29=E2=80=AFPM Larry Garfield &lt=
;<a href=3D"mailto:larry@garfieldtech.com" target=3D"_blank">larry@garfield=
tech.com</a>&gt; wrote:</div><blockquote class=3D"gmail_quote" style=3D"mar=
gin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1=
ex">2. Please link to a PR of your actual implementation.=C2=A0 In context =
it looks like your branch comparison link is to the version you said didn&#=
39;t work, so it&#39;s not that helpful.<br></blockquote><div><br></div></s=
pan><div>Correct, I don&#39;t have another one. This is big feature, I need=
 a lot of time to implement it. I don&#39;t want to waste my time if we dec=
ide that RFC won&#39;t pass at all.</div><span class=3D"gmail-im" style=3D"=
color:rgb(80,0,80)"><div>=C2=A0</div><blockquote class=3D"gmail_quote" styl=
e=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);paddin=
g-left:1ex">3. The biggest question that has come up in the past (Ilija and=
 I have discussed it at length) is, naturally, autoloading.=C2=A0 How if at=
 all do you address that?<br></blockquote><div><br></div></span><div>In the=
 original message I mentioned `use extension` construction. This should be =
enough for solution, isn&#39;t it?</div><span class=3D"gmail-im" style=3D"c=
olor:rgb(80,0,80)"><div>=C2=A0</div><blockquote class=3D"gmail_quote" style=
=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding=
-left:1ex">4. The other big question was determining when to match a given =
&quot;method&quot; call to an extension function, when the type of a variab=
le is not always known at compile time.=C2=A0 How did you address this?<br>=
</blockquote><div><br></div></span><div>Cannot understand the passage, coul=
d you explain more?</div><div><br></div><div>The only one way to use these =
extension functions =E2=80=93 import them.</div><div><br></div><div>namespa=
ce A {</div><div>=C2=A0 use B\Foo;</div><div><br></div><div>=C2=A0 function=
 Foo::hello(){...}</div>=C2=A0 function Bar::hello(){...} &lt;---- Error, u=
nknown Bar class<div>}</div><div><br>namepsace B {</div><div>=C2=A0 class F=
oo {}</div><div><br></div><div>=C2=A0 new Foo-&gt;hello() &lt;--- Error, he=
llo() is not a member of Foo</div><div>}</div><div><div><br>namepsace C {</=
div><div>=C2=A0 use B\Foo;</div><div>=C2=A0 use extension function A\Foo::h=
ello;</div><div><br></div><div>=C2=A0 new Foo-&gt;hello() &lt;-- Everything=
&#39;s great</div><div>}</div><div><br></div></div></div></div><div><br></d=
iv><span class=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" cl=
ass=3D"gmail_signature"><div dir=3D"ltr"><div style=3D"color:rgb(34,34,34)"=
>Best regards,</div><div style=3D"color:rgb(34,34,34)"><div dir=3D"ltr"><di=
v dir=3D"ltr">Dmitrii Derepko.</div><div><a>@xepozz</a></div></div></div></=
div></div></div>

--000000000000feda1d06373cf17a--