Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92520 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 86869 invoked from network); 20 Apr 2016 04:30:22 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 20 Apr 2016 04:30:22 -0000 Authentication-Results: pb1.pair.com smtp.mail=jesseschalken@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=jesseschalken@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.223.196 as permitted sender) X-PHP-List-Original-Sender: jesseschalken@gmail.com X-Host-Fingerprint: 209.85.223.196 mail-io0-f196.google.com Received: from [209.85.223.196] ([209.85.223.196:34771] helo=mail-io0-f196.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id A5/11-14036-DD507175 for ; Wed, 20 Apr 2016 00:30:21 -0400 Received: by mail-io0-f196.google.com with SMTP id z133so5414508iod.1 for ; Tue, 19 Apr 2016 21:30:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc; bh=5tp4s+nLe9UzktwdMEDgoOGqfo8K3PjDl6NRIiZzdHU=; b=dKwJrGwSbIpp14aBEezq2mI/XbuH9AXbiv/RDAIVt8yJFu+/RfX+td3DmzovdE+N4h gN3mzRROy8m0vBB65baPQVrQlGU67fwSSVh4S2sA0U97ad+kLqH2xo/Mo2I3gQwT0XBv exZIFYB5ZAnpziiCGyWJ3G2/dNVxJJA60rS+6m2b29RI+iL7aWQDdMRycRiSLUwMCUFB 6P2sj+TA2sTLUIJkCGcbPdMoX/opD4WTdGPorQ4+0sv6LW/jjfy9E/SehzRt7BWHTzuh Udwao+HqPyLgk8ieFeb0o1+2M7KSQFU/onRZHu5I444wa76nKJ81Yj+x6s99Q/n0GF8E LwEQ== 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=5tp4s+nLe9UzktwdMEDgoOGqfo8K3PjDl6NRIiZzdHU=; b=Vkh82I6KWzqXIudJkzf7h38dN7pLsO0V+9sw01KD/hWxScnJMQRc/sy8kG34eS/78y B31DNp/4wopjLaK9EHzxKMOtYPNY8DPVwpbiErOHVW49s6u6Y1u8LoYZcDq/QYG9S0oJ +XTNRat1rAxE9J0vBVKdp3Ge7A42OacjfVaRfSCBPmL5sjvQocMAHqrwhKSEuNAqusx3 O3juNJbFobJSA7ohGXygZ7nHFhtxnq40c8o6AraQ3KJIttcIOof4KdEPB4uqsl72OXMN xTbnzLRzU11cIGPXQQg7QqjNcov8kUF1cKRi1+plysSTQPuC5DCTzSluNwsj5yMN4az/ 4vCg== X-Gm-Message-State: AOPr4FVsSzQVPkameSIbEVaWPa7GwpjaycioSszOh1Oo5plV2UTBiIrjC7TCHE24t3d9ycenqMH63n/BQHKJ5Q== MIME-Version: 1.0 X-Received: by 10.107.135.202 with SMTP id r71mr7520566ioi.151.1461126618940; Tue, 19 Apr 2016 21:30:18 -0700 (PDT) Sender: jesseschalken@gmail.com Received: by 10.79.139.133 with HTTP; Tue, 19 Apr 2016 21:30:18 -0700 (PDT) In-Reply-To: References: <3cc8a4c7-2640-11ae-a67b-06f909ac1e27@texthtml.net> Date: Wed, 20 Apr 2016 14:30:18 +1000 X-Google-Sender-Auth: -ySPetSgXw9fznK3oaLGT7ph8ek Message-ID: To: Sara Golemon Cc: Mathieu Rochette , Dominic Grostate , Josh Di Fabio , PHP internals , "Ben Scholzen 'DASPRiD'" , Rasmus Schultz Content-Type: multipart/alternative; boundary=001a113ea5f0180ead0530e30d2f Subject: Re: [PHP-DEV] [RFC:generics] From: me@jesseschalken.com (Jesse Schalken) --001a113ea5f0180ead0530e30d2f Content-Type: text/plain; charset=UTF-8 I agree. On Wed, Apr 20, 2016 at 2:01 PM, Sara Golemon wrote: > On Tue, Apr 19, 2016 at 7:56 PM, Jesse Schalken > wrote: > >> class Collection {... > > > > I think the "where T is Traversable, T is Countable" syntax was intended > to > > represent the intersection (i.e. a "Countable Traversable"), not the > union. > > > > So you would need an intersection syntax > > > > class Collection {... > > > And that's precisely my point for why reusing the suggested syntax for > union types makes sense. You can to specify either intersection or > union (or potentially a complex combination of the two (A | (B & C))), > rather than being limited to intersections only. > > -Sara > --001a113ea5f0180ead0530e30d2f--