Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123966
Feedback-ID: ifab94697:Fastmail
User-Agent: Cyrus-JMAP/3.11.0-alpha0-538-g1508afaa2-fm-20240616.001-g1508afaa
Precedence: bulk
MIME-Version: 1.0
Message-ID: <4ac12229-800a-4151-97d0-08d38784fcaf@app.fastmail.com>
In-Reply-To: 
 <zOXTDXZ2k2tMAay7SG-gMaDYkE8LBIcm92bRqtJlldGwRFBls080opVX661CsOjlXFQpFuiqEbYB0RDn6ZYmQJ8BO8_CNZETt93N52CVtNE=@gpb.moe>
References: <930741fa-eb10-44c6-acbf-34ec9823f8f3@app.fastmail.com>
 <zOXTDXZ2k2tMAay7SG-gMaDYkE8LBIcm92bRqtJlldGwRFBls080opVX661CsOjlXFQpFuiqEbYB0RDn6ZYmQJ8BO8_CNZETt93N52CVtNE=@gpb.moe>
Date: Thu, 27 Jun 2024 23:06:35 +0200
To: "Gina P. Banyard" <internals@gpb.moe>
Cc: internals@lists.php.net
Subject: Re: [PHP-DEV] Overriding GMP objects
Content-Type: multipart/alternative;
 boundary=c2156dcc3f6f481ab879f6d813944ae2
From: rob@bottled.codes ("Rob Landers")

--c2156dcc3f6f481ab879f6d813944ae2
Content-Type: text/plain;charset=utf-8
Content-Transfer-Encoding: quoted-printable

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> w=
rote:
>> Hello internals,
>>=20
>> I've had this little library for a while (https://github.com/withinbo=
redom/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. At this point, it's a little =
weird but doable to use something like this:
>>=20
>> #[MyAttribute(units: StandardSecond, amount: 5)]
>>=20
>> ... which is less than ideal. What I would really like is this:
>>=20
>> #[MyAttribute(5 * StandardSecond)]
>>=20
>> PHP doesn't support operator overloading, which, from the last RFC at=
tempt, probably won't for quite a long time. Thus, I started experimenti=
ng with extending the \GMP class, which is perfectly allowed since it is=
n't final. For those that don't know, GMP implements operator overloadin=
g such that a GMP number times an int results in a new GMP number.
>>=20
>> 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 over=
loading.
>>=20
>> I would like to add static protected methods to the GMP class that ar=
e called for operations. In the event all objects are base-GMP objects, =
no behavior will change.
>=20
> No, GMP not being final was a mistake, mainly due to it the first conv=
ersion from resources to opaque objects.
> I was intending on making the class final via an RFC because no one ex=
tends it, as it is pointless (checked also on private codebases via Exak=
at).
> AND This whole back-door idea was explicitly shut down in the BCNumber=
 RFC 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 st=
ill needs fleshing out, but for any kind of units library, it is an amaz=
ing accident. I=E2=80=99d argue for keeping it or even embracing it.=20

=E2=80=94 Rob
--c2156dcc3f6f481ab879f6d813944ae2
Content-Type: text/html;charset=utf-8
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html><html><head><title></title><style type=3D"text/css">p.Mso=
Normal,p.MsoNoSpacing{margin:0}</style></head><body><div>On Thu, Jun 27,=
 2024, at 05:39, Gina P. Banyard wrote:<br></div><blockquote type=3D"cit=
e" id=3D"qt" style=3D""><div class=3D"qt-protonmail_quote"><div>On Wedne=
sday, 26 June 2024 at 18:24, Rob Landers &lt;rob@bottled.codes&gt; wrote=
:<br></div><blockquote class=3D"qt-protonmail_quote" type=3D"cite"><div>=
Hello internals,<br></div><div><br></div><div>I've had this little libra=
ry for a while (https://github.com/withinboredom/time), mostly as&nbsp;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 attribute=
s for a while now. At this point, it's a little weird but doable to use =
something like this:<br></div><div><br></div><div><span class=3D"font" s=
tyle=3D"font-family:menlo, consolas, monospace, sans-serif;">#[MyAttribu=
te(units: StandardSecond, amount: 5)]</span><br></div><div><br></div><di=
v>... which is less than ideal. What I would really like is this:<br></d=
iv><div><br></div><div><span class=3D"font" style=3D"font-family:menlo, =
consolas, monospace, sans-serif;">#[MyAttribute(5 * StandardSecond)]</sp=
an><br></div><div><br></div><div>PHP doesn't support operator overloadin=
g, which, from the last RFC attempt, probably won't for quite a long tim=
e. 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 resu=
lts in a new GMP number.<br></div><div><br></div><div>Surprisingly, I ca=
n get this to work, but I end up with a GMP number -- with the right val=
ue -- but not the right type. Hence this email. In essence, I am attempt=
ing to "back-door" my way into having operator overloading.<br></div><di=
v><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 behavior will change.<br></div></blockquote><div style=3D=
"font-family:Arial, sans-serif;font-size:14px;color:rgb(0, 0, 0);backgro=
und-color:rgb(255, 255, 255);"><br></div><div style=3D"font-family:Arial=
, sans-serif;font-size:14px;color: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);backgro=
und-color:rgb(255, 255, 255);">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).<br></div><div style=3D"font-family:Ari=
al, sans-serif;font-size:14px;color:rgb(0, 0, 0);background-color:rgb(25=
5, 255, 255);">AND This whole back-door idea was explicitly shut down in=
 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 weir=
d but the weirdness can be tucked away (check the readme file) for an er=
gonomic usage. It still needs fleshing out, but for any kind of units li=
brary, it is an amazing accident. I=E2=80=99d argue for keeping it or ev=
en embracing it.&nbsp;<br></div><div><br></div><div id=3D"sig121229152">=
=E2=80=94 Rob<br></div></body></html>
--c2156dcc3f6f481ab879f6d813944ae2--