Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:116629
Message-ID: <69e19527-50b6-327d-fd01-18c003f21c71@gmail.com>
Date: Sun, 12 Dec 2021 18:58:08 +0000
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Thunderbird/91.3.2
To: internals@lists.php.net
References: <CAMrTa2FB-EVGq29oLCU8fYkMYi+KsQiEAFv1xxMFO7vnm8e6=Q@mail.gmail.com>
 <CAOD_yv1VNMEDvkXNw74iNzUrfqV197eaTvif83Z0scsRU8j5Mg@mail.gmail.com>
 <4032cbcf-a1a5-4e16-8563-cb24f7abcf17@www.fastmail.com>
 <cc0e32be-e379-406b-9e37-d09fb394321d@gmail.com>
Content-Language: en-GB
In-Reply-To: <cc0e32be-e379-406b-9e37-d09fb394321d@gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [RFC] User Defined Operator Overloads (v0.6)
From: rowan.collins@gmail.com (Rowan Tommins)

On 12/12/2021 18:29, Rowan Tommins wrote:
> Perhaps we could use an Attribute to bind the operator to the method, which would also reduce the impact on tools that need to parse class definitions:
>
> class  Collection{ #[Operator('+')]
>     public function  union(Collection$other,  OperandPosition$operandPos)  {}
> }
>
> An interesting extension would be to have an optional argument to the Attribute which binds separate methods for each direction of arguments, rather than exposing it as a parameter:
>
> class  Number{ #[Operator('/', OperandPosition::LeftSide)]
>     public function  divideBy(Number $divisor)  {}
>
> #[Operator('/', OperandPosition::RightSide)]
>     publicfunction  fractionOf(Number $dividend)  {}
> } 


Sorry about the whitespace mess in the above examples; this may or may not show better:


class Collection{
     #[Operator('+')]
     public function union(Collection $other,  OperandPosition $operandPos)  {}
}

class Number{
     #[Operator('/', OperandPosition::LeftSide)]
     public function divideBy(Number $divisor)  {}

     #[Operator('/', OperandPosition::RightSide)]
     public function fractionOf(Number $dividend)  {}
}


Regards,

-- 
Rowan Tommins
[IMSoP]