Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:115661
Content-Type: text/plain;
	charset=us-ascii
Content-Transfer-Encoding: quoted-printable
Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.13\))
Date: Sat, 7 Aug 2021 20:26:09 -0700
References: <CAMrTa2EO-5nyoCYkHhMVxQ4nucRoHJj0=M=W22kUaW0jpHkHLg@mail.gmail.com>
 <f01eed58-6ccb-91a9-16d0-0f0c4e97d98a@gmail.com>
 <CAMrTa2E-pV+xP+3NJ=zd0S7N2agVRGiALaaJCBUaM=UwETEArw@mail.gmail.com>
 <94696d46-c4e6-406a-b859-89144bff31bf@www.fastmail.com>
To: php internals <internals@lists.php.net>,
 Larry Garfield <larry@garfieldtech.com>
In-Reply-To: <94696d46-c4e6-406a-b859-89144bff31bf@www.fastmail.com>
Message-ID: <DB2EA48D-6968-43CC-A3CE-4FC053EF3955@woofle.net>
Subject: Re: [PHP-DEV] Revisiting Userland Operator Overloads
From: dusk@woofle.net (Dusk)

On Aug 7, 2021, at 15:28, Larry Garfield <larry@garfieldtech.com> wrote:
> As an example here, time units.  Adding two hour:minute time tuples =
together to get a new time (wrapping at the 24 hour mark) is an entirely =
reasonable thing to do.  But multiplication and division on time doesn't =
make any sense at all.  Or, maybe it does but only with ints (2:30 * 3 =3D=
 7:30?), kind of, but certainly not on the same type.

This touches on another important question -- how do we plan to =
represent:

1) An operator which is only applicable when an operator is used on two =
dissimilar types (e.g. TimeTuple x float)?

2) An operator which can be applied to an object, but with a primitive =
or otherwise non-extensible type on the left hand side of the operator =
(e.g. float x TimeTuple)?

3) An operator which can be used with multiple types, but whose meaning =
and/or return value can change based on what types are used (e.g. Matrix =
x Matrix vs. float x Matrix)?=