Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:122005
MIME-Version: 1.0
References: <18c42fdbb30.2831.17a3710df6d58f02ca570cc47e197a63@interi.co>
 <CAFPFaMLZ3MeGXt5OPmAkwM-n-eZcp1gT7RQCnpXSyHxZThOn2g@mail.gmail.com>
 <CAOyH9yReYorVd1jDPyk_O73JUn1VvqEAz0Fb7mvQ6ke9k9FcZA@mail.gmail.com>
 <CAFPFaMKoH1PD_qaBPLw9pwid0NB5zyZYM7AgogYOWFhPVysEwQ@mail.gmail.com> <CAPzBOBMw-mjjuKEX1udq2XaKGcRneT_DWinqP9aAtU0oGfLhzw@mail.gmail.com>
In-Reply-To: <CAPzBOBMw-mjjuKEX1udq2XaKGcRneT_DWinqP9aAtU0oGfLhzw@mail.gmail.com>
Date: Fri, 15 Dec 2023 01:09:48 +0000
Message-ID: <CAFPFaMJY=Q+vaFbhA1Xe-9xun_LPkdhL-oX2opGyV7uA_8v4Pg@mail.gmail.com>
To: Robert Landers <landers.robert@gmail.com>
Cc: Alexander Pravdin <alex.pravdin@interi.co>, internals@lists.php.net
Content-Type: multipart/alternative; boundary="0000000000002951ba060c820ff3"
Subject: Re: [PHP-DEV] Proposal: Arbitrary precision native scalar type
From: george.banyard@gmail.com ("G. P. B.")

--0000000000002951ba060c820ff3
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Tue, 12 Dec 2023 at 21:00, Robert Landers <landers.robert@gmail.com>
wrote:

> On Tue, Dec 12, 2023 at 2:04=E2=80=AFPM G. P. B. <george.banyard@gmail.co=
m> wrote:
> > GMP supports operator overloading
>
> GMP kinda-sorta-most-of-the-time supports operator overloading.
> Sometimes ... it doesn't. I implemented a field library in PHP (for
> work a couple of years ago) and occasionally, overloading would cast
> things back to float/int and break the math. I don't have access to
> that code, so I don't have any examples readily available (and the
> fact that an extension can do overloading but we can't in user-land is
> a whole different can of worms which made this library ridiculously
> hard to work with -- we rewrote everything in Scala and never looked
> back). Needless to say, if I were to go into a project that required
> GMP, I wouldn't trust the overloading.
>

I have no idea how _this_ is possible considering GMP will happily throw
type errors left and right even in cases when it shouldn't.
If you encountered this, you should have submitted a bug report.
Because, using a potential bug as an excuse for not doing this is... weird?

I have come around userland operator overloading with the proposal from
Jordan, but considering this hasn't passed it might take a while before
someone gives it a crack at it again.
And it has _always_ been a thing that the engine, and internal extensions,
can do more things than userland.
Especially nonsensical stuff like variadic parameters not at the end...

Gina P. Banyard

--0000000000002951ba060c820ff3--