Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:63771
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: softfail (pb1.pair.com: domain golemon.com does not designate 209.85.210.170 as permitted sender)
MIME-Version: 1.0
Sender: php@golemon.com
In-Reply-To: <B924BE82-3566-439F-97C9-C48B97DA0D84@strojny.net>
References: <712F4499-949C-4C6F-A142-736A1B156189@gmail.com>
	<5084281C.9020507@sugarcrm.com>
	<CAAyV7nFk4dGY1pMvK+SPRHYe=XRJ14J0MYRyJSZCS4Cv-2p+kw@mail.gmail.com>
	<CACQesk5Pn+V+WRUSU2S=kHvP+S2XaGnDXziSvs1jD+dOB_EziQ@mail.gmail.com>
	<CAFMT4Nr7Q6kcAjOZj5oEiLjG_YsDgL5HAt0fmyuPAN--bp6JeQ@mail.gmail.com>
	<CACQesk7rOgj+QcUmCasBPOnK2=AP_NR-9ukrBvmEtea7HzSkdg@mail.gmail.com>
	<CAESVnVp33OQkDk3KUnscL8nsCEKmUv2ThaOjEAbG6FFFO8yH5g@mail.gmail.com>
	<B924BE82-3566-439F-97C9-C48B97DA0D84@strojny.net>
Date: Tue, 6 Nov 2012 21:41:55 -0800
Message-ID: <CAESVnVrvHDd3wpyrAKs5vqm_EodjNAKQEP6uZd8iHdC4CA2XTw@mail.gmail.com>
To: Lars Strojny <lars@strojny.net>
Cc: Etienne Kneuss <colder@php.net>, Levi Morrison <morrison.levi@gmail.com>, 
	Anthony Ferrara <ircmaxell@gmail.com>, Stas Malyshev <smalyshev@sugarcrm.com>, 
	Nikita <inefedor@gmail.com>, "internals@lists.php.net" <internals@lists.php.net>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [PHP-DEV] Generics proposal
From: pollita@php.net (Sara Golemon)

Retrying this with reply-to-all. :)

I think it's an awesome moment for PHP and HipHop to work together! :)
 I'll summarize what we have so far into an RFC.

-Sara

On Tue, Nov 6, 2012 at 12:50 PM, Lars Strojny <lars@strojny.net> wrote:
> Hey Sara,
>
> can you already show us how your take on Generics would look like? Maybe this is a good moment for HipHop and PHP to do something together.
>
> Am 06.11.2012 um 04:14 schrieb Sara Golemon <pollita@php.net>:
>
>> Sorry to be late to the conversation, but fwiw, HipHop is adding
>> Generics (and some other cool things) to our PHP implementation.  We
>> plan to provide a PHP equivalent implementation in the form of a
>> pre-processor extension which can live in PECL.  The implementation
>> would of course be cleaner if done directly in the engine, but with
>> APC the performance hit of doing an extra transformation pass should
>> disappear. Hopefully this satisfies both the want for Java/C++-like
>> syntax without "polluting" the language.
>>
>> -Sara
>>
>> On Tue, Oct 23, 2012 at 4:21 AM, Etienne Kneuss <colder@php.net> wrote:
>>> Hi,
>>>
>>> On Tue, Oct 23, 2012 at 4:17 AM, Levi Morrison <morrison.levi@gmail.com> wrote:
>>>>>> Especially if the ability was afforded to arrays as well (function
>>>>>> foo(array<Bar> $array){})...
>>>>>
>>>>> This would require O(n) runtime tests, I would definitely not go there.
>>>>
>>>> Actually, it does not require O(n) runtime tests.  The solution is
>>>> simple: store the type when it is created. Whenever an element is
>>>> added, make sure it matches the correct type.  All this does is add
>>>> some flat overhead.
>>>
>>> If you test every time you add one element, that's still O(n) tests
>>> where n is the size of the array, the only benefit is that it is not
>>> checked for each calls to a function. But now we are talking about
>>> attaching non-trivial types to variables, and non-trivial checks in a
>>> lot of places (think references etc..), let's not go there...
>>>
>>>>
>>>> I am also supportive of the idea of having generics, but I am not sure
>>>> that the work it would take is worth it.
>>>
>>>
>>>
>>> --
>>> Etienne Kneuss
>>> http://www.colder.ch
>>>
>>> --
>>> PHP Internals - PHP Runtime Development Mailing List
>>> To unsubscribe, visit: http://www.php.net/unsub.php
>>>
>>
>> --
>> PHP Internals - PHP Runtime Development Mailing List
>> To unsubscribe, visit: http://www.php.net/unsub.php
>>
>