Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92545
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.46 as permitted sender)
To: internals@lists.php.net
References: <CADqTB_gUbfu91QRm1U0KyDjai8DKw7yCE6QxgUecy60oq3Zi8Q@mail.gmail.com>
 <CAKiSzdCO83XM0zqAeFnjQEMJvbd0yBmYAFnj0H6AtDumofVbkw@mail.gmail.com>
 <CAKiSzdCCEF=7OWtvZETG3bRoByCCLqEAEjuLW_H6m7MmDtJ8_g@mail.gmail.com>
 <CAFKaYMoQUUFLqgDjOHj3W0+a63u3s=vqnU5gWMCj0zvmvXFF5Q@mail.gmail.com>
 <3cc8a4c7-2640-11ae-a67b-06f909ac1e27@texthtml.net>
 <CAESVnVqCZnrbHa+5_tSYG70VyvGfpZoDM98bEst3pg36HahYEg@mail.gmail.com>
 <5716BB89.8030005@gmail.com>
 <CAESVnVoe9WxNmLj0_N4HaOAmyyfMAp6yu0an6T5e9taZ2Raptg@mail.gmail.com>
 <CAFp73Xvrh3xKvYs4RZ_mxhL+6+ppm3mdpfV6vdfYv8CLEQ9wxg@mail.gmail.com>
Message-ID: <571799B8.1060201@gmail.com>
Date: Wed, 20 Apr 2016 16:01:12 +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: <CAFp73Xvrh3xKvYs4RZ_mxhL+6+ppm3mdpfV6vdfYv8CLEQ9wxg@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [RFC:generics]
From: rowan.collins@gmail.com (Rowan Collins)

guilhermeblanco@gmail.com wrote on 20/04/2016 03:54:
> 1- Even though mentioned, I'd still use "extends" or "implements" instead
> of "is" (which would be a new pseudo-reserved keyword) to enforce data type
> consistency and prevent developers to potentially referring to one thing
> while consider another.

Perhaps "instanceof" would make more sense here? "class FileProcessor<T 
extends FileHandle>" seems to exclude instantiating 
FileProcessor<FileHandle>, because "FileHandle extends FileHandle" 
doesn't make any sense.

You could read "class Box<T instanceof Boxable>" as an assertion that 
the class passes the constraint, as in "public function __construct(T 
$t) { assert($t instanceof Boxable); }"

Regards,
-- 
Rowan Collins
[IMSoP]