Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:88162
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: unknown (pb1.pair.com: domain dennis.birkholz.biz does not designate 144.76.185.252 as permitted sender)
To: Ben Scholzen 'DASPRiD' <mail@dasprids.de>, internals@lists.php.net
References: <55E4B9AA.9060906@dasprids.de>
 <55F3F860.5000705@dennis.birkholz.biz>
Message-ID: <55F3FD6E.2040904@dennis.birkholz.biz>
Date: Sat, 12 Sep 2015 12:24:46 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.1.0
MIME-Version: 1.0
In-Reply-To: <55F3F860.5000705@dennis.birkholz.biz>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Generic classes and methods RFC
From: php@dennis.birkholz.biz (Dennis Birkholz)

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> {}

2. It does not allow to require multiple types for T1:
"Currently, Hack only allows one constraint on a type or a method."

3. I found no example that Hack allows multiple type parameters like
class Foo<T1, T2> but also nothing that it is not possible

4. All type parameters must start with a capital T

5. Hack has generic methods

6. Hack has generic traits which we should also consider/specify how
they work exactly.

Greets
Dennis