Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:115578 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 91124 invoked from network); 24 Jul 2021 19:20:58 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 24 Jul 2021 19:20:58 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 1EA131804D0 for ; Sat, 24 Jul 2021 12:47:16 -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=-0.7 required=5.0 tests=BAYES_05,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,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-yb1-f172.google.com (mail-yb1-f172.google.com [209.85.219.172]) (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, 24 Jul 2021 12:47:15 -0700 (PDT) Received: by mail-yb1-f172.google.com with SMTP id m193so7940275ybf.9 for ; Sat, 24 Jul 2021 12:47:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=datadoghq.com; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=2pcahVf+KBwEH9vJlWLyZ6JNyg0H6PeXKj9bW8mfeus=; b=NJJus5Q9Blf7aRCLu1rgoBmCXvDlAupNvDnlS5IbQcYpB5/mD6wf5fBNiV9KvC16F3 kmcvKzAav64+E/TpSEgEMjuNHct7MkHXFRCahO8/UkipzuV0ic1PolYMy3XJ21GeZgGV tdPEdMJYHqOOotn/Kj9BdMVnSAvhUmNFWoSWY= 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; bh=2pcahVf+KBwEH9vJlWLyZ6JNyg0H6PeXKj9bW8mfeus=; b=eeH2/wxw1YTDJo/BUDjFkh2XDLy3cvf5mnDgDvycJfWbEUV+Z/66AHtRMy8VzjRAy+ YeRCL/d1xtBt/IwOGAThx0cmMOoWWspX3pByPafs+p5YNAVFsWT+22wbY9QNyERf3mjI 9a4JZHoYDMG3i9OivE99q8aKK/CY9bcgkeYp6TgxZgprt7LqX907LIikOCPVuGSk84tU bJ8IS+rWprmVK+j25aVtsVx0ej4v4xmbKnb32rKlo7jxKt6pKifLqmUz6p0qzZ04/g7d wR+loQd+FrYeYeNpBudsLk52YSD1LKDoZZZs3KtglpSQW4gZYqfBty4Zeu9FpK9mUyhu EmrA== X-Gm-Message-State: AOAM5325OBwujOiTYUPts4y3L4Zrsa95ZfN946baT94UtuelMYHPhXl5 JgilOwxOBbAcz+7HcyBWgdfh+wLpTnPKRWUXr+4N7QdXH9ZscQ== X-Google-Smtp-Source: ABdhPJyHRk+fiPd71ZlQDZbGhhqwcTJYvpK6xAj14dap7ECHdd9kUJPRK3xXnZ8ysfHWzS9AH2xnBACXxXaWP5vIYaw= X-Received: by 2002:a25:5554:: with SMTP id j81mr494416ybb.133.1627156032396; Sat, 24 Jul 2021 12:47:12 -0700 (PDT) MIME-Version: 1.0 References: <353F9140-7E59-4CD4-95D3-9BA8F9CA6C29@newclarity.net> <43D8F75F-09B0-4AE4-A9EB-8775E231B367@gmail.com> <94F0E6DA-8C69-402D-B6B2-5EBDEB6638FB@newclarity.net> In-Reply-To: Reply-To: Levi Morrison Date: Sat, 24 Jul 2021 13:47:01 -0600 Message-ID: To: PHP Internals List Content-Type: text/plain; charset="UTF-8" Subject: Re: [PHP-DEV] [RFC] Nullable intersection types From: internals@lists.php.net ("Levi Morrison via internals") > That is a strange attitude. You are saying that you rather see a release with a [known] flaw than actually trying to find the best solution. Sorry, but sometimes features take time either due to technical reasons (variance was difficult to get right this way), or due to disagreements in voters. Just as we added scalar and return types in 7.0 but nullable types came only in 7.1, I think it's fine to add pure intersection types in 8.1 and add the ability to mix unions and intersections in 8.2. Is it _ideal_? No, but I'd rather wait than rush something in. There has been a lot of disagreement in this proposal, and I personally don't feel comfortable including this in any form for 8.1 because of this. I would rather wait, and waiting has the advantage that we can get a cohesive proposal for it to work with all unions and intersections, and not just a special case.