Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92514
Return-Path: <php@golemon.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 71607 invoked from network); 20 Apr 2016 01:17:22 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 20 Apr 2016 01:17:22 -0000
Authentication-Results: pb1.pair.com smtp.mail=php@golemon.com; spf=softfail; sender-id=softfail
Authentication-Results: pb1.pair.com header.from=php@golemon.com; sender-id=softfail
Received-SPF: softfail (pb1.pair.com: domain golemon.com does not designate 209.85.215.67 as permitted sender)
X-PHP-List-Original-Sender: php@golemon.com
X-Host-Fingerprint: 209.85.215.67 mail-lf0-f67.google.com  
Received: from [209.85.215.67] ([209.85.215.67:33542] helo=mail-lf0-f67.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id E2/BF-22821-1A8D6175 for <internals@lists.php.net>; Tue, 19 Apr 2016 21:17:22 -0400
Received: by mail-lf0-f67.google.com with SMTP id p64so4313118lfg.0
        for <internals@lists.php.net>; Tue, 19 Apr 2016 18:17:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=golemon-com.20150623.gappssmtp.com; s=20150623;
        h=mime-version:sender:in-reply-to:references:date:message-id:subject
         :from:to:cc;
        bh=HJqIeM18P+N2mc41D5TJPN5+eQ4CrgFsltjwgIdTprY=;
        b=nWxRjvKniDhiXPoNDWV7YYCgGZZ2v6TYQ6d27QElMjGMiLNQXo4olKuofOuUtit3ED
         HYI/1wZyOrnzBtSJu8OTVMbTKnhq/cQUvI804JOk7eQoKRRFSoyn8g9xeER+XmqFKO71
         xg04tqFU6skUQ4iki1r+kO3gINf9xYYSBIKHYLSMNXvuomrbp68OaRpaXJtoXPonmdIW
         QsvaqK8519MkidbNvsHTc0pls6ZEdtjVbTsgoUKx4HQQnvYEyEGICFsB2qy3tiwxde6M
         8ZQp3lxYmr//xxOum13NQXdIu2WWbyZNHCIQM6P//+uCOjwW8ATHBpmUzsXQuVi5kJnw
         uG/A==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:sender:in-reply-to:references:date
         :message-id:subject:from:to:cc;
        bh=HJqIeM18P+N2mc41D5TJPN5+eQ4CrgFsltjwgIdTprY=;
        b=QPtGALxHvB8VSZkTeeySVstV2I3KzVhqS7z2MOkiETCoSfV3Xa9y64DGWMrZ41LSyY
         y1gpxJHbemHvCIJtl66BOA4UjXfM9JH1QHD7hQ5FULfyRIQIsXYuSME6eqvrkp7CZFB5
         haQnIx2Fcr8VSFawplYmR0bT9hRQfWQP/6suCksJxAVXmFW6WvCt5KTYAVoBLSqwKY3S
         GDtDYJYzCJbOllV0YDmSsjAfc99q+GsYuylaXI/kCqnnQa5xq6f+2vvFYIPYhXgIfDqE
         UAntFhfPsMz0neqTBY92WakE28BLz1mECvOjaAOHkEXPiKkzpXPZcF00dsl7xtrsKcfj
         3A3Q==
X-Gm-Message-State: AOPr4FXzj/QxRaqCScdHaZAb5D0QFfNjiyWdO91myaog9Tvieo7rh58adacyGvxXB9j7Pi25uBfrjVtlusfq+A==
MIME-Version: 1.0
X-Received: by 10.25.43.1 with SMTP id r1mr2003700lfr.63.1461115038462; Tue,
 19 Apr 2016 18:17:18 -0700 (PDT)
Sender: php@golemon.com
Received: by 10.112.19.74 with HTTP; Tue, 19 Apr 2016 18:17:18 -0700 (PDT)
X-Originating-IP: [107.198.91.68]
In-Reply-To: <5716BB89.8030005@gmail.com>
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>
Date: Tue, 19 Apr 2016 18:17:18 -0700
X-Google-Sender-Auth: e6HB7n8M275ITjf2xWJK_skE0BA
Message-ID: <CAESVnVoe9WxNmLj0_N4HaOAmyyfMAp6yu0an6T5e9taZ2Raptg@mail.gmail.com>
To: Stanislav Malyshev <smalyshev@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [RFC:generics]
From: pollita@php.net (Sara Golemon)

On Tue, Apr 19, 2016 at 4:13 PM, Stanislav Malyshev <smalyshev@gmail.com> wrote:
>> class Collection<T as (Traversable | Countable)> {...
>
> I am sorry if this sounds harsh, but I really hope we won't have
> something like this in PHP. Java templates are complex and weird enough,
> adding another layer on top of that to allow type expressions IMHO is
> really taking it too far.
>
Nah, I've yet to actually have use for anything so specific yet
either, but in the context of Mathieu was asking for, it seemed like a
good moment to direct the concept back to something more consistent,
at least.

-Sara