Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:103592 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 54127 invoked from network); 12 Dec 2018 14:58:17 -0000 Received: from unknown (HELO mout.gmx.net) (212.227.15.15) by pb1.pair.com with SMTP; 12 Dec 2018 14:58:17 -0000 Received: from [192.168.2.103] ([79.222.37.159]) by mail.gmx.com (mrgmx002 [212.227.17.190]) with ESMTPSA (Nemesis) id 0MTjua-1gxKxG0EHA-00QUhq; Wed, 12 Dec 2018 12:25:38 +0100 To: Levi Morrison , internals References: Message-ID: Date: Wed, 12 Dec 2018 12:25:40 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.3.3 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: de-DE Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K1:3xQ10yk9MHLpSizfOf1L+cDvN1I1svCg6+WfQ5A0vgPuhg/YcHf zZhN5MoY8BtLIjh5UtILwlyPyAoZtM9IUz2CrYYAnsAK29KBIhwEn6BjWfO2WUHRMGh7asz si7Jv0H8mrfpLay6mT4p8mvTRS+wk5LKQpM/m0ttrZMklwYQP+bSOpReE8heGr2kXDydjOc c+HVHOlI9Nt7sv9t9gEzg== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:ouE3CHynpiA=:UVI6y6pDhDXadK1+3tRdJA QH3reqI7eMn2Y6GfsMAAnB384Zp2UH+Pi330DYGBwCxTIWIxknikOusLYopH56VxWykOzFaia W6KNgrO5pdJEeLZXqWg4QCg5eVKVTAC0O6cJNRO+g5hOljk742MBRXE5GyC5Kcv49GpYkYNx3 2OqS6WGRPUNJzKKhAfl7i2gXFVW3BOzhiRzQzusoBKcbBiun7rH45j9kQ+F+UlBxySauwnBFS +4e7oD/s7K3BbOl4MuzNGlqmNYPT9SvlEc34zrBHbGo+Di/9Xp4BlRo7b+wqBSIUuv6VKbU81 GIJJRON38h+08VD7886flmc/IhosFaWwaNmUwgrxnOcyTaFF/+Di6+XteD9vWVlQLhoPIvLZf EX/AQ5FclhJrLkznlx03XZA0DOorT45qpmxZ9kLNzrHqk3g9Ku1l4q5P7Gu4+az+B5AfKrdmu u1lcDcQHUaHwWwoiRLZFm9ekDhageWDBav2LK9GXjzcMd+xtNF2u7WGlIS1kJlrE19hASc1VE ymWbienPPpVDSCcPihKmhKc1e0xm7cv53ClpQ27Ia9kVXwHeYUB1SNKk+2zbvqSgWTTXNEV0z voidbRS1PeVAjJgLpSYn344Yb97iAn9VqsltZ9BUo/Ol4Ag+XUjnAdNdqrAduD3rnctfXumwb mp1T7WbszfnmB+DhS7q/H1UXtczw+vt73lnDq0ZeZ5dkxif6RkdR1CgX2Z79TQgeKzfiARSOQ HL2klOH5+MtcfmDIfCr98M5An6zolYHlHDa/1vKxovynLvZilkbTgGmJT0/WNCyx9p0Ku7FGS aFYoH8GUAsc1tePj+3L+ryVTBXCSp2LCvdvQq7S5dcSdaVld0eLiiLdXG+UOMoCFx12+Iwkf2 JzsZT5AVz0BnC5k4K7BIIzDPiTVHQSFxLiodN40qaKm/l1mY21LtSTQVJW+kre Subject: Re: [RFC][Discuss] Covariant return- and contravariant parameter- types From: cmbecker69@gmx.de ("Christoph M. Becker") On 11.12.2018 at 21:34, Levi Morrison wrote: > On Mon, Nov 26, 2018 at 2:25 PM Levi Morrison wrote: > >> I am happy to announce my latest RFC, [Covariant Returns and >> Contravariant Parameters][1], is open for discussion. If you do not >> recognize those terms then hopefully the introduction coupled with the >> [examples][2] will help. […] >> >> [1]: https://wiki.php.net/rfc/covariant-returns-and-contravariant-parameters >> [2]: https://wiki.php.net/rfc/covariant-returns-and-contravariant-parameters#examples > > It has been two weeks now. If you want to provide any feedback, or > follow-up on anything from the discussion, please do so soon. I hope > to put this to vote before the end of the year. Thanks for working on this, Levi. Highly appreciated! I may have missed this, but otherwise I'd be quite surprised that nobody had commented on: | Therefore, by-reference parameters are still contravariant, […] Call-by-reference is not seldom used to provide out-parameters, but these should not be contravariant according to LSP. Therefore, it might be best to keep by-reference parameters invariant. -- Christoph M. Becker