Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92651
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.223.171 as permitted sender)
MIME-Version: 1.0
Sender: jesseschalken@gmail.com
In-Reply-To: <CAOsHV+vDNGNThMDZU7_ZkTr2janDVmbjmNkuSGSc=3opLcPE-g@mail.gmail.com>
References: <CAOsHV+vDNGNThMDZU7_ZkTr2janDVmbjmNkuSGSc=3opLcPE-g@mail.gmail.com>
Date: Sat, 23 Apr 2016 17:46:38 +1000
Message-ID: <CAF1yvATUn2Dj6KWTR3hz1N=MJU=sK3zNrfvnjp8dJPYTQixLUQ@mail.gmail.com>
To: Marcio Almada <marcio.web2@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a113ed540c3daeb05312224ac
Subject: Re: [PHP-DEV][RFC] Callable Types
From: me@jesseschalken.com (Jesse Schalken)

--001a113ed540c3daeb05312224ac
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

This is great. The gaps in PHP's type annotations are slowly being filled.
:)

Are the rules for compatibility between callables the same rules for
compatibility between methods in classes/interfaces? Because presently,
this is allowed:

interface Test {
    public function testMethod();
}

function foo1(Test $x) { }

foo1(new class implements Test {
    public function testMethod(int $extraParam =3D 0) { }
});


but, according to the RFC, this would not be:

function foo2(callable():void $x) { }

foo2(function (int $extraParam =3D 0) { });


I don't see why they should be different.

I also didn't see anything mentioning reference parameters/returns. I
assume it just follows the rules for method compatibility?

On Fri, Apr 22, 2016 at 2:12 PM, Marcio Almada <marcio.web2@gmail.com>
wrote:

> Hello everyone,
>
> We just completed the draft for the "Callable Types" RFC. This RFC has be=
en
> recently mentioned during other type related threads on this mailing list=
,
> so it feels to be the right time to put the proposal in context:
>
> The proposal is at https://wiki.php.net/rfc/callable-types
>
> The W.I.P patch is available for testing through http://3v4l.org under th=
e
> RFC tab.
>
> We count with your detailed feedback and insights. Let's have a nice,
> respectful and
> constructive conversation about the RFC and work on possible improvements=
!
>
> Thanks
> Nikita Nefedov
> M=C3=A1rcio Almada
>

--001a113ed540c3daeb05312224ac--