Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92654
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain basereality.com from 209.85.161.173 cause and error)
MIME-Version: 1.0
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 12:18:56 +0100
Message-ID: <CA+kxMuRf20jSpnaRRhKvz3K8yjfoofJakGVFf0RryKuek9GPuw@mail.gmail.com>
To: Marcio Almada <marcio.web2@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV][RFC] Callable Types
From: danack@basereality.com (Dan Ackroyd)

On 22 April 2016 at 05:12, Marcio Almada <marcio.web2@gmail.com> wrote:
> Hello everyone,
>
> We just completed the draft for the "Callable Types" RFC.

There seems to be one thing missing from the RFC; please could you add
an example where the parameter and return types are also 'typed'
callables?

Presumably it would look something like this?

function reduce(int $a, int $b, callable(int, callable(int, int):int
$math):int $reducer): callable(int, int):int {
  return $reducer($a, $b);
}

Are there any limits to how far down the callable type can be defined ?

cheers
Dan