Re: Generics proposal

Cool! Looking forward to it. Am 07.11.2012 um 06:41 schrieb Sara Golemon <pollita@php.net>: > 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 >>> >> > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php >