Re: [RFC] Callable Types

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