Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:99213 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 44483 invoked from network); 28 May 2017 13:16:10 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 28 May 2017 13:16:10 -0000 Authentication-Results: pb1.pair.com header.from=cmbecker69@gmx.de; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=cmbecker69@gmx.de; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmx.de designates 212.227.17.22 as permitted sender) X-PHP-List-Original-Sender: cmbecker69@gmx.de X-Host-Fingerprint: 212.227.17.22 mout.gmx.net Received: from [212.227.17.22] ([212.227.17.22:64397] helo=mout.gmx.net) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 67/04-06590-99DCA295 for ; Sun, 28 May 2017 09:16:09 -0400 Received: from [192.168.2.102] ([79.243.116.67]) by mail.gmx.com (mrgmx101 [212.227.17.168]) with ESMTPSA (Nemesis) id 0LjN0F-1dmdmG0yRL-00dTAe; Sun, 28 May 2017 15:16:03 +0200 To: Rasmus Schultz , Dan Ackroyd Cc: Niklas Keller , PHP internals References: Message-ID: Date: Sun, 28 May 2017 15:16:22 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: de-DE Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:yyINfZtJqYk+BsiUDviSsuc4HV15mBgHp377clrDxEiDxDhxnM/ LPWeyQnzLfRBxJPdmdepoWj6TTrEWJoAB5dmIDrin67kp5lNj8j9+VT7v/0aVR4xfs7SVDM dSxuyOgdsUyyGbnXoCA5460cadS42vC9ycupwIb4qvxEh3VTbMW6z9Lvcp/FgPFL1vY0im8 Qpfgg26BcHUCQEqM5lrrQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:j77Ef9qtYSQ=:2AY6DAFdlcaroazC0xv2YR up4PpwUex9jA3fYWXVDsSDA9u+dQ5RY6wVBZBrw3Vqu7m8cnVnzBnvHWAg49gpTZmOyfH8s9C gRgk6eMxrauoEjRXTuDBigmhG+eBZgfDPayqcLUPVX5mth5veM5zaxEEwmE7WeXjgJqxxqHd5 bl6Fegz+1bowPLHt1yH+KkKzMN7HHbxSdTgsxcnF3IJAZyiAKGGUvtkGOSA6mW7cPiO+7BLCJ 4fn2m9cwJuV6/zc9IUGJ6sZedXs48d/1HOkGNMuxNm8+evCEiYwLkdofstSNeA6em2jWN16T4 zt/MMXrUdJB2KBcmVq291j1bH6E1+P9AVZXC5EDH6NPX/dZnOcm3uI2OIkn4ILSnfFzAcwkPj uVNQo/9uoevs+y2CltGKA6eukdG/dK4gwKYrxDvh1REwV0hymz3JNLicx498XVmR9yb50krix 5S/lBoxqhbz5F/yePlnFmoqHhw+NMvVWSWQuady7nbX+oPVOPEpG7NrhgX7vdJ/jlDVwGbxHS nvVmjbQsbO6N8YrRnbOz0/c1CnL51WwNH0/rHHZT/IRLnUOZJf+gOxp7ZrLclfLabQAuwfhWC 8lt6vd3u6NE+uMsxXnNp4Zm6fz71+AN9XUUhEL0EZZBdnUDOGWJRk0XKyfnTtVXOUdcvrHxsQ 2ZoHn/3zzvJKQ9hVOxAAOv5JjdWHTX6Zoa7s/HUoZDH2OXqoMb/5lJWS3qXMTNB7FWeX6bHgS qKqa+L1PbYApNawIcVXz5IO2H0n96mHbhVQGX0leC57m2JDWwD0US3WPffaHmi0MGzl6+n5BA 9jh5qup Subject: Re: [PHP-DEV] Parameter type widening RFC From: cmbecker69@gmx.de ("Christoph M. Becker") On 28.05.2017 at 12:30, Rasmus Schultz wrote: > In my opinion, this will very likely lead to a large number of accidental > type-hint omissions - and a very, very small number of actually useful > solutions to real problems. > > In my opinion, we can do much better than that, by adding a mixed > type-hint, which will ensure people aren't just accidentally omitting > type-hints and instead explicitly opting out of it to achieve parameter > widening. Solving this from the start also ensures we can have a clean > implementation of real contravariance in the future, without that being a > break change. Something like that has already been suggested in the original RFC discussion[1] but has been rejected, so I don't think it makes much sense to repeat this discussion again. [1] -- Christoph M. Becker