Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:115600 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 54058 invoked from network); 28 Jul 2021 06:32:12 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 28 Jul 2021 06:32:12 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 98CFC1804B0 for ; Tue, 27 Jul 2021 23:59:21 -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.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_H2,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-il1-f169.google.com (mail-il1-f169.google.com [209.85.166.169]) (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 ; Tue, 27 Jul 2021 23:59:21 -0700 (PDT) Received: by mail-il1-f169.google.com with SMTP id 10so1689584ill.10 for ; Tue, 27 Jul 2021 23:59:21 -0700 (PDT) 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=PwF5MxNDvaECqDUrW7EpymwXJbvdq64NMJsS9M2L+Ik=; b=X7Ulm/Of6VgBMtk+MK26JdWM+vxpB4Se+Kg01GfqKZvhP4ftN9138wc6pwMlU6/Hy4 rUSzk8zeeRmI8HrE7TS5T2fYwoMMJhSWrKdhayh/vmdfDo4RgPs+mETF7aMz+untXty5 za+Cnm/5VTyVkO40po8bxL0qxDURT8/aZrIh5GCQxRQgAMC3UBpjgB15Ydh2BbxOcjuw T7An26gRiDaRhSbKKyamlFzdXNYJFhdkFAh5U8kaUdfpEe1crdAQG5p2HiHpBwhqKyX0 /bGf1ryNZq7TH5y38/T+5JjWWWOlegCpkT2vqy1MnjeK+CVObKQvCQo0xpGf7da2SM8C 6/Ng== 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=PwF5MxNDvaECqDUrW7EpymwXJbvdq64NMJsS9M2L+Ik=; b=ETtAjC6VefrX8dWltj2OiIeDLrP3U2nH0Cab6vOhAA0WsUmYx6yHCC75snVoNlH8Zq PV2HT6hon3KuQ+7TJIOop6zDHQDdJON07/kF1vlU58BqQxN+M1H1YUyg7z66pK3kOfEp hYv5tI1vEgJNrr2vvTV35QRiXbpskVnWEKlcFOArGzos8sH8X5IlQiYAGgQkDOVwKsww 3JbZWC6oeNN/Kb8O/yCJXyFYMIM7jj5epOVt1AqenruGGrd/E0HtWtH1qoOOcC9KASTI 7MwuWtXvT2HR45PdM1CNaLaYmBdX0Fwj1CKASKhz7xyI+AgSJT24g+CXmAEAZjZQQ5Qg J2sg== X-Gm-Message-State: AOAM530kxhEJ8zquTOkhnpY/u3wB67W7DqlCIoCu7P1ebael00svinDi j+jAnVOwdNnb8IrA1O+KETWAMneXcrDWbi48E4c= X-Google-Smtp-Source: ABdhPJxSMeLpVSyrK0BL9Z7dVlW6tvsJgbTEy5HArJ6QsvZTghcnTe/HCTgzXSKJssWQYk4cgEhqYXpViCCUDyEgXAM= X-Received: by 2002:a92:c544:: with SMTP id a4mr405417ilj.242.1627455556613; Tue, 27 Jul 2021 23:59:16 -0700 (PDT) MIME-Version: 1.0 References: <002e01d78326$27ed0680$77c71380$@webkr.de> In-Reply-To: Date: Wed, 28 Jul 2021 08:55:46 +0200 Message-ID: To: Pierre Joye Cc: Jordan LeDoux , Rowan Tommins , PHP internals Content-Type: multipart/alternative; boundary="00000000000056fbf305c829864d" Subject: Re: [PHP-DEV] [RFC] Nullable intersection types From: deleugyn@gmail.com (Deleu) --00000000000056fbf305c829864d Content-Type: text/plain; charset="UTF-8" On Wed, Jul 28, 2021, 05:26 Pierre Joye wrote: > However my question was more about the rush for it, those are not easy to > implement nicely, given the actual use cases, I am not sure it was worth > this hurry. And I have the same feeling for this discussion about nullable > intersection. > My interpretation is slightly different. I saw the Pure Intersection RFC as a way to break down a very complex thing into smaller manageable chunks. Getting everything right at once would be hard. I look at it almost as an experimental feature coming to 8.1, if you will. In the grand scheme of things it's incomplete, but in the tech space it is one huge step taken that will settle in and give another year to try and cover more ground. In the meantime basic use cases can take advantage of the changes in place and experiment with it, see what else would be a nice addition in that work space. > --00000000000056fbf305c829864d--