Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:88165
Return-Path: <ajf@ajf.me>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 6618 invoked from network); 12 Sep 2015 15:00:23 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 12 Sep 2015 15:00:23 -0000
X-Host-Fingerprint: 176.25.177.255 unknown  
Received: from [176.25.177.255] ([176.25.177.255:2342] helo=localhost.localdomain)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id A9/27-37684-60E34F55 for <internals@lists.php.net>; Sat, 12 Sep 2015 11:00:22 -0400
Message-ID: <A9.27.37684.60E34F55@pb1.pair.com>
To: internals@lists.php.net
References: <55E4B9AA.9060906@dasprids.de>
 <55F3F860.5000705@dennis.birkholz.biz> <55F3FD6E.2040904@dennis.birkholz.biz>
Date: Sat, 12 Sep 2015 16:00:18 +0100
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Firefox/38.0 SeaMonkey/2.35
MIME-Version: 1.0
In-Reply-To: <55F3FD6E.2040904@dennis.birkholz.biz>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Posted-By: 176.25.177.255
Subject: Re: [PHP-DEV] Generic classes and methods RFC
From: ajf@ajf.me (Andrea Faulds)

Hi Dennis,

Dennis Birkholz wrote:
> Am 12.09.2015 um 12:03 schrieb Dennis Birkholz:
>> Hi together,
>>
>> 1. If we require some keyword instead of the colon to limit which types
>> the type placeholders can have I would choose:
>> class Foo<T1 instanceof Bla, T2 instanceof Blubb> {}
>
> Just to save you some lookups in the Hack documentation:
> 1. Hack uses the "as" keyword:
> class Foo<T1 as Bla> {}

This seems like a poor syntax choice to me. Usually the word 'as' is 
used for aliases and such. If you hadn't told me its function here, I 
would probably have been very confused. 'T1' isn't an alias of Bla, 
right? It's some subclass.

Thanks.
-- 
Andrea Faulds
http://ajf.me/