Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:109683 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 6998 invoked from network); 16 Apr 2020 13:10:09 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 16 Apr 2020 13:10:09 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id B545B1804C2 for ; Thu, 16 Apr 2020 04:40:19 -0700 (PDT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW, SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=3.4.2 X-Spam-ASN: AS8560 212.227.0.0/16 X-Spam-Virus: No X-Envelope-From: Received: from mout.web.de (mout.web.de [212.227.15.14]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Thu, 16 Apr 2020 04:40:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1587037217; bh=auhtCTnfnK8kJP0DafLYJ9JSMTt06SqVaebUxVYW5vo=; h=X-UI-Sender-Class:Subject:To:References:From:Date:In-Reply-To; b=GnJ3qAUY0bLnDBSD4YLHih8OuE4KQ4NJ6KzUYQERZ2e/AdK77Wbd7Bbpbp/aXY12T xrrqUGYUSUd0eoXrWxzSXyenW889ZyjM7AGuvQI+GKar08k1I54n28xRkApPrpy8Ay DH9L2XS1ag+NRK9nMPCqErfTStgSqbGazJelzkAg= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.178.21] ([88.66.220.134]) by smtp.web.de (mrweb004 [213.165.67.108]) with ESMTPSA (Nemesis) id 0Lgs1W-1iw5JP2TQ6-00oI32 for ; Thu, 16 Apr 2020 13:40:17 +0200 To: internals@lists.php.net References: <2b8e5da5-2f21-57a2-7e7d-243c686cc69d@web.de> Message-ID: <262fe329-78e4-745e-6c80-e6beb27865a4@web.de> Date: Thu, 16 Apr 2020 13:40:17 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable X-Antivirus: Avast (VPS 200415-0, 15.04.2020), Outbound message X-Antivirus-Status: Clean X-Provags-ID: V03:K1:eV5YMAUAmasyPxoIGopsX2Ln1awVId5klec3oypiHWusCICHzJy CtkOCGpX4DHksdvRZkJqnT7UKqD+TvKiriuNgzKt0hYvA+6tp/HaAKCevdyh1UkDsVsJ3ei KSHpRKpr86GPZooWXpQoKtYU8ZycKuaE+NOnY79TNIRW1vtKUUnOOG4TfuIJ5A07xLhLHby SbShjkDfMpVU6KImIuuXw== X-UI-Out-Filterresults: notjunk:1;V03:K0:l1gEwGqlE90=:qrFUhF9Hn/OQperWGKHSzD HwqZMinneouMzOdxNug+sv05Y8SD5cbjCV4EMBv0OnD3iW6h/Q82+B23yLWb0FN5ao7AxbuYv EXZ9rpYHsNeYOGtxZShAGovkKDcbGsL2dwy7qYyzAShlHSUGVhKDbx/LYHVIAMnGkKHRdFHBU 8I54vq/IiSwPl+qvvwd57NQY9AI4AVp7aGH1RcLFiGVzC55VqRFvpipD+ipHJrjyL5sHBp0iI G4+ewHnhM7hfQ1obCkRpEpbU0uFuHOBUM/dkEWGLmvmW9COc9EGLAh8ZqoPV1vlQ7iPlDUgsN eWEfV11V9ZJESOiqb7J/HDXGn/jk39YQBGPVOTFklQSdHFXzyuyOLo3ozeHAQ2QeM2hVPMpeW rIOuhEoxF4sZKMLFjcYDt/US4ChoOsEtJ3BheghoR+hdKRk1CqXOtskIKLiVrqY/PmDB3zYTD lCP3ieC9e3LvOImaZNYQss5IVklW57LzZf6L/XMva0KWMRP3mwwAUWHIV2aXxqG+DqDrU6TKs jXFpLtPbdO676cRfkTpDszsaobi8OL49to8sR4y8Zupvrxvfzpaj2bLOG4xq+Rh2rshzU9U0y knrjQUKmO6oV5RhbuaYTLKMV2EYPX1S47XzKbNMtBsJ+6ePetg0EwuiA/iY04XmmJeche/oww Dh8Dsu4F8+bEii6CFodC3Z4l94taoSiWcKk37E9sjHbEEbwT9oi7O+UgVhzBWmvO67ZeGnrXn 8jp286Q3jO4YkwfE9N/SpQk23UImsiZmXloLPAJUkbMUyw9sZJpN0tasuURDjDNnYvblPnjeG TqWlqWCgYIhpYx1vYc9WnfbizVQiHHb7m/bpU1xiUNDJgayPRj7a4h2wD1EAHSmguZOIB5gwl SlFM8i4ivm31pRnlACJzD09Sib1G/2qpuDhQjGXT7cbat4GiIf8gmHpp3deOD1iDMvhLq9SWV TpjFisTve53Ejon6LRWs0aBSN9WZLZU29Sl5meQ+M5jnxwjxfyGPK5n5RP8Ksh0wNQqHFhYfZ j6duTlr+yT9f9INfQv32VIN5SLvACimQ8Cq8E96GJkvp2Imz64GOOdiBbOveXUJVxHVSGqjmt OYPIxDDlav02atNXreZOqYldHft2htZMZ+oUzSccXzhlxoWyXhmnLB2fbkok1SSsn3g7N19ch J/y0NDiguPqVJy86r7130dbu2vsW2g0rLq4XC9Gyq4+ig84uUqJikch8Ze+dlPaTaGuUh4PBc k8hjZw9FsR90rVP23 Subject: Re: [PHP-DEV] Type hints in array destructuring expressions From: enno.woortmann@web.de (Enno Woortmann) > Agree this would slow things down but if it could be potentially type > checked on the assignment with type constraint in front of the variable > name I think that would be a neat feature. > So to work as a function parameter but not like a typed property. Hi Micha=C5=82, A type check during the assignment is the intent of the proposal. I'll update the description to state this more explicit. As i wrote in the initial mail the implementation side is the one which is currently mostly unclear to me. To see which parts of the language would be affected by the change. I think if it's implemented in a central way each assignment could be affected by a type check. But as Nicolas stated that should be kept in a separate RFC if that's something we want to tackle further. Cheers, Enno