Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92646
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.53 as permitted sender)
To: internals@lists.php.net
References: <CAOsHV+vDNGNThMDZU7_ZkTr2janDVmbjmNkuSGSc=3opLcPE-g@mail.gmail.com>
 <5719EA39.2070408@seld.be>
 <CAFMT4NobAYn1XgPH1cpchzKXvJoewY7Mgn+b+XB3bFQ7mmgWAQ@mail.gmail.com>
 <A495B5F6-0DD0-41B6-8477-2DF620DE7380@icicle.io>
Message-ID: <571A3C0A.5060806@gmail.com>
Date: Fri, 22 Apr 2016 15:58:18 +0100
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101
 Thunderbird/38.7.2
MIME-Version: 1.0
In-Reply-To: <A495B5F6-0DD0-41B6-8477-2DF620DE7380@icicle.io>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV][RFC] Callable Types
From: rowan.collins@gmail.com (Rowan Collins)

Aaron Piotrowski wrote on 22/04/2016 15:56:
> While this is somewhat off-topic of this particular RFC, since we can already do general type-aliasing with `use`,
>
> use SomeFoo as Foo;
>
> perhaps similar syntax could be used for type expressions, eliminating the need for a new keyword.
>
> use callable(int, int): int as IntReducer;
>
> use array | Traversable as Iterable;

The problem with that is that you might want to export (and then import) 
a type definition:

namespace MyPackage\Types {
type Foo as \Symfony\Bar | \Zend\FooBar;
}

namespace Other {
use \MyPackage\Types\Foo as FooType;
}

That would become terrible confusing if you overloaded the "use" keyword.

Regards,
-- 
Rowan Collins
[IMSoP]