Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123872
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: <930741fa-eb10-44c6-acbf-34ec9823f8f3@app.fastmail.com>
Date: Wed, 26 Jun 2024 19:24:03 +0200
To: internals@lists.php.net
Subject: [PHP-DEV] Overriding GMP objects
Content-Type: multipart/alternative;
 boundary=28a11bf822164fdc82872ecdbd4e1116
From: rob@bottled.codes ("Rob Landers")

--28a11bf822164fdc82872ecdbd4e1116
Content-Type: text/plain;charset=utf-8
Content-Transfer-Encoding: quoted-printable

Hello internals,

I've had this little library for a while (https://github.com/withinbored=
om/time), mostly as a place to experiment with the quirks of PHP and tak=
e it in weird places. Anyway, I've been experimenting with "strongly typ=
ed time" in attributes for a while now. At this point, it's a little wei=
rd 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 attem=
pt, 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 s=
uch that a GMP number times an int results in a new GMP number.

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 ess=
ence, I am attempting to "back-door" my way into having operator overloa=
ding.

I would like to add static protected methods to the GMP class that are c=
alled for operations. In the event all objects are base-GMP objects, no =
behavior will change.

So, here are my questions:

- for built-in extensions, does this need an RFC?
- does anyone have any strong opinions against having the ability to hav=
e actual, typed units in PHP?
- should we revisit operator overloading instead of me hacking my way in=
to it?
- should we revisit "constant expressions" in attributes?

=E2=80=94 Rob
--28a11bf822164fdc82872ecdbd4e1116
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>Hello internals=
,<br></div><div><br></div><div>I've had this little library for a while =
(https://github.com/withinboredom/time), mostly as&nbsp;a place to exper=
iment with the quirks of PHP and take it in weird places. Anyway, I've b=
een experimenting with "strongly typed time" in attributes for a while n=
ow. 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" style=3D"font-fa=
mily:menlo, consolas, monospace, sans-serif;">#[MyAttribute(units: Stand=
ardSecond, amount: 5)]</span><br></div><div><br></div><div>... which is =
less than ideal. What I would really like is this:<br></div><div><br></d=
iv><div><span class=3D"font" style=3D"font-family:menlo, consolas, monos=
pace, sans-serif;">#[MyAttribute(5 * StandardSecond)]</span><br></div><d=
iv><br></div><div>PHP doesn't support operator overloading, which, from =
the last RFC attempt, probably won't for quite a long time. Thus, I star=
ted experimenting with extending the \GMP class, which is perfectly allo=
wed since it isn't final. For those that don't know, GMP implements oper=
ator overloading such that a GMP number times an int results in a new GM=
P number.<br></div><div><br></div><div>Surprisingly, I can get this to w=
ork, but I end up with a GMP number -- with the right value -- but not t=
he right type. Hence this email. In essence, I am attempting to "back-do=
or" my way into having operator overloading.<br></div><div><br></div><di=
v>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, n=
o behavior will change.<br></div><div><br></div><div>So, here are my que=
stions:<br></div><div><br></div><div>- for built-in extensions, does thi=
s need an RFC?<br></div><div>- does anyone have any strong opinions agai=
nst having the ability to have actual, typed units in PHP?<br></div><div=
>- should we revisit operator overloading instead of me hacking my way i=
nto it?<br></div><div>- should we revisit "constant expressions" in attr=
ibutes?</div><div><br></div><div id=3D"sig121229152">=E2=80=94 Rob<br></=
div></body></html>
--28a11bf822164fdc82872ecdbd4e1116--