Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123972
Precedence: bulk
MIME-Version: 1.0
References: <930741fa-eb10-44c6-acbf-34ec9823f8f3@app.fastmail.com>
 <zOXTDXZ2k2tMAay7SG-gMaDYkE8LBIcm92bRqtJlldGwRFBls080opVX661CsOjlXFQpFuiqEbYB0RDn6ZYmQJ8BO8_CNZETt93N52CVtNE=@gpb.moe>
 <64BF2EC8-6B0E-4F5E-95C2-F5DE9B71D141@sakiot.com> <e665bb60-8697-40ec-9e8b-d83e0b8d5655@app.fastmail.com>
In-Reply-To: <e665bb60-8697-40ec-9e8b-d83e0b8d5655@app.fastmail.com>
Date: Thu, 27 Jun 2024 14:46:42 -0700
Message-ID: <CAMrTa2HyGkbVOCB_Gu4Pa6KWLOMqTfvK+=MmbphPtkSg_wJzbA@mail.gmail.com>
Subject: Re: [PHP-DEV] Overriding GMP objects
To: Rob Landers <rob@bottled.codes>
Cc: Saki Takamachi <saki@sakiot.com>, "Gina P. Banyard" <internals@gpb.moe>, internals@lists.php.net
Content-Type: multipart/alternative; boundary="000000000000ad906a061be61141"
From: jordan.ledoux@gmail.com (Jordan LeDoux)

--000000000000ad906a061be61141
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Thu, Jun 27, 2024 at 2:35=E2=80=AFPM Rob Landers <rob@bottled.codes> wro=
te:

>
>
> On Thu, Jun 27, 2024, at 06:07, Saki Takamachi wrote:
>
>
> I agree with Gina. Being able to change the class of a computed result of
> an inherited child class causes several problems.
>
> The points raised in the `BCMath\Number` discussion can be summarized as
> follows.
>
> - If it is possible to perform calculations on parent Class and child
> Class, what should the resulting class be?
>
>
> Ask the class what it wants to be?
>
> - Multiplying the distance class and the speed class should give you the
> time class.
>
>
> That would depend on the library=E2=80=99s implementation.
>
> - Similarly, multiplying two distance classes together should yield an
> area class.
>
>
> See above.
>
> - If only child classes have a property that should be specified in the
> constructor, how do you determine the value of this property in the resul=
t
> class? Perhaps it is possible to determine the value of the property, but
> in that case the commutativity of the computation should be lost.
>
>
> This can be handled via the child class in static methods, per the librar=
y
> specifications.
>

How is the library supposed to do that in the absence of operator handler
functions that can be overridden, or at least called when an operator is
encountered?

Jordan

--000000000000ad906a061be61141
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:35=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"msg-4281734687375525032"><u>=
</u><div><div><br></div><div><br></div><div>On Thu, Jun 27, 2024, at 06:07,=
 Saki Takamachi wrote:<br></div><blockquote type=3D"cite" id=3D"m_-42817346=
87375525032qt"><div><br></div><div>I agree with Gina.=C2=A0Being able to ch=
ange the class of a computed result of an inherited child class causes seve=
ral problems.<br></div><div><br></div><div>The points raised in the `BCMath=
\Number` discussion can be summarized as follows.<br></div><div><br></div><=
div>-=C2=A0If it is possible to perform calculations on parent Class and ch=
ild Class, what should the resulting class be?<br></div></blockquote><div><=
br></div><div>Ask the class what it wants to be?</div><div><br></div><block=
quote type=3D"cite" id=3D"m_-4281734687375525032qt"><div>-=C2=A0Multiplying=
 the distance class and the speed class should give you the time class.<br>=
</div></blockquote><div><br></div><div>That would depend on the library=E2=
=80=99s implementation.=C2=A0</div><div><br></div><blockquote type=3D"cite"=
 id=3D"m_-4281734687375525032qt"><div>-=C2=A0Similarly, multiplying two dis=
tance classes together should yield an area class.<br></div></blockquote><d=
iv><br></div><div>See above.=C2=A0</div><div><br></div><blockquote type=3D"=
cite" id=3D"m_-4281734687375525032qt"><div>-=C2=A0If only child classes hav=
e a property that should be specified in the constructor, how do you determ=
ine the value of this property in the result class?=C2=A0Perhaps it is poss=
ible to determine the value of the property, but in that case the commutati=
vity of the computation should be lost.<br></div></blockquote><div><br></di=
v><div>This can be handled via the child class in static methods, per the l=
ibrary specifications.</div></div></div></blockquote><div><br></div><div>Ho=
w is the library supposed to do that in the absence of operator handler fun=
ctions that can be overridden, or at least called when an operator is encou=
ntered?</div><div><br></div><div>Jordan <br></div></div></div>

--000000000000ad906a061be61141--