Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:108242 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 79388 invoked from network); 25 Jan 2020 17:09:38 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 25 Jan 2020 17:09:38 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id AE34A180531 for ; Sat, 25 Jan 2020 07:19:19 -0800 (PST) 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.1 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE, SPF_PASS autolearn=no autolearn_force=no version=3.4.2 X-Spam-ASN: AS15169 209.85.128.0/17 X-Spam-Virus: No X-Envelope-From: Received: from mail-ot1-f54.google.com (mail-ot1-f54.google.com [209.85.210.54]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Sat, 25 Jan 2020 07:19:19 -0800 (PST) Received: by mail-ot1-f54.google.com with SMTP id g15so4460381otp.3 for ; Sat, 25 Jan 2020 07:19:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=28XnFK4IUItq/ufyEhwLt5Hv/Bs0pzVbbxaoggnsIOc=; b=cyACMxRKuhnDqEVtvpPLOXX8GpD9WJ3bzjjb325sz4pv8jWr5KDYkddEMMc/GWI5DF nBFLJIKIVWFS9SeTyFJcKWu86ko5q8fUlOaoEmbD52WVjF5GHatUFG76ZoKslRh12TNW EtPxwQMZIdWKdyZXEoe8z7hdvVt+QCPpr5BhgfbNjxGPkzNaHuZAYi9yUy8O9y9qUx36 U2IOIv3yoq5L6QlQrofytEvCk07Bjzti0Z0WPOmH9tJ86cnlJ7F3wx464qVWLWQQQ4F3 pokaPNckCSquXle5x2Ww8TETYk5Lo/7KdeIwIYqYqkCSkPuaYnBsHbwE1WJWsoRZTSNg TjuA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=28XnFK4IUItq/ufyEhwLt5Hv/Bs0pzVbbxaoggnsIOc=; b=HUbrkALSa0+I0j5me9s92C+PdMcTX40Xshk1lz7SKsALXHPcT3Tb8H0VCjTfuzHVHf N4YmNquzMReJQWOFOPDUxaYDJUD+ruXezFkKHLwbtlCUaDY7gVeOB/hFcgw78pLSGIAC 7AhBOYUkK8kZjCDgdGm9ahgByFzUpMQD9vMge98rl27Xqqn1kv8MgR8+u4eZ5lhxHSBf KTmfSa2YRG1pcb3ftrT04NMqMMaQrQBAEOG9mELrrZ38PQix25XtweYjME2pD5iB5XP0 Dgvv1B3malx6vfkTIst6No+jTTHTMknIDtXam5U4Z6xB7478d6F1CBS9WiCN0I0kFw/4 67vg== X-Gm-Message-State: APjAAAW/E3I6uTMO36Uen4f//c3ZnAqa/ShAJDRrZ7kvh1M64QrltlsW AHEfCmgaiefOFPIpzGx/SrZVe75ynjOD8Yx1Iq8= X-Google-Smtp-Source: APXvYqya/sM71X5hWMHxb77/BRxXcijYWiSaW1agFIPywpekvVqS05cji/jYju8066aFQxHNfNSyXc+FpZBkSY98qlY= X-Received: by 2002:a9d:6f8f:: with SMTP id h15mr6237759otq.1.1579965556853; Sat, 25 Jan 2020 07:19:16 -0800 (PST) MIME-Version: 1.0 References: <5DC86728-1BBF-4DCA-8A6B-9B0B190DB99D@newclarity.net> <3091DC6D-E03B-4AF5-8DC6-F3B2772956BD@newclarity.net> <5d1eaf45-d888-3fe6-7c40-02b0c8c81b61@gmail.com> In-Reply-To: Date: Sat, 25 Jan 2020 16:19:05 +0100 Message-ID: To: Rowan Tommins Cc: PHP Internals Content-Type: multipart/alternative; boundary="000000000000c6120a059cf86539" Subject: Re: [PHP-DEV] Typed array properties V2 From: mtkocak@gmail.com (=?UTF-8?Q?Midori_Ko=C3=A7ak?=) --000000000000c6120a059cf86539 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Given this orientation, can we also have this debated once more? https://wiki.php.net/rfc/callable-types Right now, I am using 7.4.2 in production and in my next book and I cannot explain how it feels good to have those types but along with the loosely typed freedom. That's the killer advantage of PHP and IMHO version 8 will be quite popular due to the 7.4; On Sat, 25 Jan 2020 at 16:12, Rowan Tommins wrote= : > On 25/01/2020 00:12, Mike Schinkel wrote: > > > So saying "use a static analyzer" is IMO just pointing out an overall > > weakness that PHP can't automatically do static analysis on its own. > > I'd just like to repeat that you and Rasmus are in agreement here. He > didn't say "PHP doesn't need to change because static analyzers exist", > he said: > > > it would be amazing to have a static analyzer built into PHP > > ... but that is a huge task and goes way beyond just this particular > check. > > Choosing whether that analysis runs automatically during server startup, > or as a separate command-line script, is just one detail among many. It > probably wouldn't make much difference to the rest of the analysis code, > and it might even make sense for it to support both modes. For instance, > it might be optional for command-line scripts, so you could have options > for "analyse and run", "run only", and "analyse only". > > > > One of the main strengths of PHP =E2=80=94 and IMO one of the reasons = for its > incredibly marketshare =E2=80=94 is the ease with which PHP code can be w= ritten, > tested, and deployed. > > And that ease translated to ubiquity. > > Adding a recommended build step to that in order to gain correctness > weakens that value proposition and threatens future ubiquity as other > language improve. > > Yes, the convenience of having something run automatically is definitely > worth considering, as long as it doesn't introduce new delays and rules > that get in people's way. > > It partly depends what kind of checks were being done, I guess, and > therefore how much time it would take to run, and how much of a project > it would need to analyse at once. > > Regards, > > -- > Rowan Tommins (n=C3=A9 Collins) > [IMSoP] > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > > --000000000000c6120a059cf86539--