Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:91923
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.44 as permitted sender)
MIME-Version: 1.0
Sender: mtkocak@gmail.com
In-Reply-To: <CAF+90c_S3zMNJwbyhP772NXATxCr8k6gO8usuzZxPYaGay8hTQ@mail.gmail.com>
References: <CAF+90c9x17NnDxwW_K2v-5+NvK2rS9zyvWe_LKVZqQAbLh8iUQ@mail.gmail.com>
	<CAJaRsPsiaG+JWbvXY_cF=TeqxAy2AjJr2fJrimoLW-WESPxB_A@mail.gmail.com>
	<CAESVnVoJ-jsQ_=QtR_ejHFM_QyGbJiXmcU1P+fyAvc5088-0Ow@mail.gmail.com>
	<CAF+90c_S3zMNJwbyhP772NXATxCr8k6gO8usuzZxPYaGay8hTQ@mail.gmail.com>
Date: Thu, 24 Mar 2016 20:42:39 +0100
Message-ID: <CAFLRTJ8ubmeNvkud6Defus_vEQxoYYUgLX7-pTzm_4GO+tr=NQ@mail.gmail.com>
To: Nikita Popov <nikita.ppv@gmail.com>
Cc: Sara Golemon <pollita@php.net>, "Colin O'Dell" <colinodell@gmail.com>, 
	PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a114b3e3a267ee9052ed0a6b3
Subject: Re: [PHP-DEV] Add spaceship assignment operator
From: mtkocak@mtkocak.net (Mutlu Kocak)

--001a114b3e3a267ee9052ed0a6b3
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

he is trolling :)

On Thursday, 24 March 2016, Nikita Popov <nikita.ppv@gmail.com> wrote:

> On Thu, Mar 24, 2016 at 8:05 PM, Sara Golemon <pollita@php.net
> <javascript:;>> wrote:
>
> > On Thu, Mar 24, 2016 at 11:50 AM, Colin O'Dell <colinodell@gmail.com
> <javascript:;>>
> > wrote:
> > > Would your proposal also allow !=3D=3D=3D=3D to work?
> > >
> > I think you means !=3D=3D=3D, which is "not-identical assignment" (!=3D=
=3D =3D)
> >
> > !=3D=3D=3D=3D is just *CRAZY TALK*
> >
>
> We shouldn't dismiss such things out of hand, Sara. Consider the followin=
g
> argument:
>
> There is a binary !=3D=3D operator. The compound assignment version of it=
 is
> !=3D=3D=3D. But that again is a binary operator! So there should be a !=
=3D=3D=3D=3D
> compound assignment operator as well. By induction over the natural numbe=
rs
> it follows that !=3D=3D followed by an arbitrary number of =3Ds should be=
 a valid
> compound assignment operator.
>
> However, when considering the expansion, we see:
>
>     $a !=3D=3D=3D=3D $b;
>     // same as
>     $a =3D $a !=3D=3D=3D $b;
>     // same as
>     $a =3D $a =3D $a !=3D=3D $b;
>
> It is now evident that $a !=3D=3D=3D=3D $b (or any additional number of =
=3Ds) has the
> same meaning as $a !=3D=3D=3D $b. A difference could only arise if the le=
ft-hand
> side is an object implementing __set or ArrayAccess, in which case !=3D=
=3D=3D=3D
> would cause an additional call to __set / offsetSet.
>
> Given that !=3D=3D=3D=3D and !=3D=3D=3D would be, apart from the edge-cas=
e of overloaded
> objects, identical, I must concur with your original judgement that only
> supporting !=3D=3D=3D is sufficient.
>
> Thanks,
> Nikita
>


--=20
Mutlu Ko=C3=A7ak | Computer Scientist & Engineer
Mobile: +420775259871
Parizksa 5, Praha 1 Prague Czech Republic

Personal Website: http://www.mtkocak.com

--001a114b3e3a267ee9052ed0a6b3--