Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123968
Precedence: bulk
MIME-Version: 1.0
References: <930741fa-eb10-44c6-acbf-34ec9823f8f3@app.fastmail.com>
 <zOXTDXZ2k2tMAay7SG-gMaDYkE8LBIcm92bRqtJlldGwRFBls080opVX661CsOjlXFQpFuiqEbYB0RDn6ZYmQJ8BO8_CNZETt93N52CVtNE=@gpb.moe>
 <4ac12229-800a-4151-97d0-08d38784fcaf@app.fastmail.com>
In-Reply-To: <4ac12229-800a-4151-97d0-08d38784fcaf@app.fastmail.com>
Date: Thu, 27 Jun 2024 14:18:15 -0700
Message-ID: <CAMrTa2Ff2hjTyJJz4Q6k1CVpBtU3M0jwTMokw-GdD7955beNFA@mail.gmail.com>
Subject: Re: [PHP-DEV] Overriding GMP objects
To: Rob Landers <rob@bottled.codes>
Cc: "Gina P. Banyard" <internals@gpb.moe>, internals@lists.php.net
Content-Type: multipart/alternative; boundary="000000000000e5ebea061be5ab8a"
From: jordan.ledoux@gmail.com (Jordan LeDoux)

--000000000000e5ebea061be5ab8a
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Thu, Jun 27, 2024 at 2:14=E2=80=AFPM Rob Landers <rob@bottled.codes> wro=
te:

> On Thu, Jun 27, 2024, at 05:39, Gina P. Banyard wrote:
>
> On Wednesday, 26 June 2024 at 18:24, Rob Landers <rob@bottled.codes>
> wrote:
>
> Hello internals,
>
> I've had this little library for a while (
> https://github.com/withinboredom/time), mostly as a place to experiment
> with the quirks of PHP and take it in weird places. Anyway, I've been
> experimenting with "strongly typed time" in attributes for a while now. A=
t
> this point, it's a little weird but doable to use something like this:
>
> #[MyAttribute(units: StandardSecond, amount: 5)]
>
> ... which is less than ideal. What I would really like is this:
>
> #[MyAttribute(5 * StandardSecond)]
>
> PHP doesn't support operator overloading, which, from the last RFC
> attempt, probably won't for quite a long time. Thus, I started
> experimenting with extending the \GMP class, which is perfectly allowed
> since it isn't final. For those that don't know, GMP implements operator
> overloading such that a GMP number times an int results in a new GMP numb=
er.
>
> Surprisingly, I can get this to work, but I end up with a GMP number --
> with the right value -- but not the right type. Hence this email. In
> essence, I am attempting to "back-door" my way into having operator
> overloading.
>
> I would like to add static protected methods to the GMP class that are
> called for operations. In the event all objects are base-GMP objects, no
> behavior will change.
>
>
> No, GMP not being final was a mistake, mainly due to it the first
> conversion from resources to opaque objects.
> I was intending on making the class final via an RFC because no one
> extends it, as it is pointless (checked also on private codebases via
> Exakat).
> AND This whole back-door idea was explicitly shut down in the BCNumber RF=
C
> that got accepted for 8.4.
>
>
> Oops, I extended it :p (pun not intended)
>
> In all seriousness, I actually find it a little weird but the weirdness
> can be tucked away (check the readme file) for an ergonomic usage. It sti=
ll
> needs fleshing out, but for any kind of units library, it is an amazing
> accident. I=E2=80=99d argue for keeping it or even embracing it.
>
> =E2=80=94 Rob
>

I don't, that's why I pushed to include operator overloads. In fact, one of
the libraries I was going to build (and have already partially built) was a
units library that automatically handled unit conversions, multiplications,
etc. by keeping track of everything in SI base units and providing
different value classes for different combinations of SI base units.

If you want to look at how I did that, I can email you the repo for that
code directly, though I haven't touched it in a LONG time because it's
mostly useless without operator overloads.

Jordan

--000000000000e5ebea061be5ab8a
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><br></div><br><div class=3D"gmail_quote">=
<div dir=3D"ltr" class=3D"gmail_attr">On Thu, Jun 27, 2024 at 2:14=E2=80=AF=
PM Rob Landers &lt;rob@bottled.codes&gt; wrote:<br></div><blockquote class=
=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rg=
b(204,204,204);padding-left:1ex"><div class=3D"msg1091795193238211301"><u><=
/u><div><div>On Thu, Jun 27, 2024, at 05:39, Gina P. Banyard wrote:<br></di=
v><blockquote type=3D"cite" id=3D"m_1091795193238211301qt"><div><div>On Wed=
nesday, 26 June 2024 at 18:24, Rob Landers &lt;rob@bottled.codes&gt; wrote:=
<br></div><blockquote type=3D"cite"><div>Hello internals,<br></div><div><br=
></div><div>I&#39;ve had this little library for a while (<a href=3D"https:=
//github.com/withinboredom/time" target=3D"_blank">https://github.com/withi=
nboredom/time</a>), mostly as=C2=A0a place to experiment with the quirks of=
 PHP and take it in weird places. Anyway, I&#39;ve been experimenting with =
&quot;strongly typed time&quot; in attributes for a while now. At this poin=
t, it&#39;s a little weird but doable to use something like this:<br></div>=
<div><br></div><div><span style=3D"font-family:menlo,consolas,monospace,san=
s-serif">#[MyAttribute(units: StandardSecond, amount: 5)]</span><br></div><=
div><br></div><div>... which is less than ideal. What I would really like i=
s this:<br></div><div><br></div><div><span style=3D"font-family:menlo,conso=
las,monospace,sans-serif">#[MyAttribute(5 * StandardSecond)]</span><br></di=
v><div><br></div><div>PHP doesn&#39;t support operator overloading, which, =
from the last RFC attempt, probably won&#39;t for quite a long time. Thus, =
I started experimenting with extending the \GMP class, which is perfectly a=
llowed since it isn&#39;t final. For those that don&#39;t know, GMP impleme=
nts operator overloading such that a GMP number times an int results in a n=
ew GMP number.<br></div><div><br></div><div>Surprisingly, I can get this to=
 work, but I end up with a GMP number -- with the right value -- but not th=
e right type. Hence this email. In essence, I am attempting to &quot;back-d=
oor&quot; my way into having operator overloading.<br></div><div><br></div>=
<div>I would like to add static protected methods to the GMP class that are=
 called for operations. In the event all objects are base-GMP objects, no b=
ehavior will change.<br></div></blockquote><div style=3D"font-family:Arial,=
sans-serif;font-size:14px;color:rgb(0,0,0);background-color:rgb(255,255,255=
)"><br></div><div style=3D"font-family:Arial,sans-serif;font-size:14px;colo=
r:rgb(0,0,0);background-color:rgb(255,255,255)">No, GMP not being final was=
 a mistake, mainly due to it the first conversion from resources to opaque =
objects.<br></div><div style=3D"font-family:Arial,sans-serif;font-size:14px=
;color:rgb(0,0,0);background-color:rgb(255,255,255)">I was intending on mak=
ing the class final via an RFC because no one extends it, as it is pointles=
s (checked also on private codebases via Exakat).<br></div><div style=3D"fo=
nt-family:Arial,sans-serif;font-size:14px;color:rgb(0,0,0);background-color=
:rgb(255,255,255)">AND This whole back-door idea was explicitly shut down i=
n the BCNumber RFC that got accepted for 8.4.<br></div></div></blockquote><=
div><br></div><div>Oops, I extended it :p (pun not intended)<br></div><div>=
<br></div><div>In all seriousness, I actually find it a little weird but th=
e weirdness can be tucked away (check the readme file) for an ergonomic usa=
ge. It still needs fleshing out, but for any kind of units library, it is a=
n amazing accident. I=E2=80=99d argue for keeping it or even embracing it.=
=C2=A0<br></div><div><br></div><div id=3D"m_1091795193238211301sig121229152=
">=E2=80=94 Rob<br></div></div></div></blockquote><div><br></div><div>I don=
&#39;t, that&#39;s why I pushed to include operator overloads. In fact, one=
 of the libraries I was going to build (and have already partially built) w=
as a units library that automatically handled unit conversions, multiplicat=
ions, etc. by keeping track of everything in SI base units and providing di=
fferent value classes for different combinations of SI base units.</div><di=
v><br></div><div>If you want to look at how I did that, I can email you the=
 repo for that code directly, though I haven&#39;t touched it in a LONG tim=
e because it&#39;s mostly useless without operator overloads.<br></div><div=
><br></div><div>Jordan<br></div></div></div>

--000000000000e5ebea061be5ab8a--