Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:115749 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 36583 invoked from network); 16 Aug 2021 06:30:40 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 16 Aug 2021 06:30:40 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id AFCC6180505 for ; Mon, 16 Aug 2021 00:02:35 -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-io1-f53.google.com (mail-io1-f53.google.com [209.85.166.53]) (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 ; Mon, 16 Aug 2021 00:02:35 -0700 (PDT) Received: by mail-io1-f53.google.com with SMTP id j18so6314096ioj.8 for ; Mon, 16 Aug 2021 00:02:35 -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=93x26ZIi/d8wTUHvoxQpfDcoVOuHq9+cM8KCDXXu3MU=; b=EVy9z3XrPaPTAGBeYGYFFGPiVfj/nD0SbLErrP6yA/4ni/GvYMVQJ/NaLicym920Pp Wyy7bHOBViOxvFoK3lybMsfTMg8D8liSGzAb+hCha81gbn9CYF4nhqyXEu94J0pptMCC 03OIPPhWIvkqxn3qFAmthwWigUwAXzEqaywYq00BBqmqNuFIhjHrRrHWhmzG8VpazkaV gEcirOidwhIYqd3X3zEZfhqX7/v/OJj1T4rrLMSRebHuHTD9x0xtQ1ZpdAKCfTntbwtt xXsKoyhk3yT5ekzcHXNnbsCEPRT0cn0VOYL09ISkK4MAMtZyybC1U2cqvEjDzFR09ljH X4kA== 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=93x26ZIi/d8wTUHvoxQpfDcoVOuHq9+cM8KCDXXu3MU=; b=amYY7iM8yylclLFJeyqw+puHThb3e+SyFoqyqW1RCcEW9C+M/z9gsOykzsjJWTgmq9 nmwzm51Y6lf4NFDUZ4fvt7LP7U3Cbjf6euoebO865rjstU8fU+r4Oj3gQNqu3pCKpKfr 07wO+8DOiMYhSpvuTw95ZjiSIntJo5d3Ww0hJubT+MBiQhs3TrmeqST8AoNF71g+ZZp/ t994m/Y6+aGpDENtrW3KyYdTOl4jYjeVRTKX98wn623ZBVf7P4aksAOcvUaqowGLusuH SnOT7L+Td6UZBF+IDGEfJ34T3fyO/r0woO57rcUEMyJhBjt/x0hE1K83Q8BHQQAubzD8 Z7sg== X-Gm-Message-State: AOAM531WjBoq272W3Uy03iSjjH5Z6E3BgB/jkXaWfWCEsMKOVUSrdtnn uLonZsAtbbf5iDvdHY3DWPH9XlDP7vm3tLUS5tk= X-Google-Smtp-Source: ABdhPJwIoFUkfkHTrNrrSfLibABitWnlb9Ji0qzQEsHx5Rv0uFlq26d5IwRFtdUbFOcK72ErqSQzOyIwus99lEtqVn0= X-Received: by 2002:a05:6638:3789:: with SMTP id w9mr2056439jal.131.1629097354551; Mon, 16 Aug 2021 00:02:34 -0700 (PDT) MIME-Version: 1.0 References: <72785D6F-6803-49BB-B575-01061699ABF4@gmail.com> <448DAADA-C819-457F-ABBF-F942128B2830@gmail.com> In-Reply-To: <448DAADA-C819-457F-ABBF-F942128B2830@gmail.com> Date: Mon, 16 Aug 2021 09:01:59 +0200 Message-ID: To: Tobias Nyholm Cc: Kalle Sommer Nielsen , Patrick ALLAERT , Nicolas Grekas , PHP Internals List , Joe Watkins , Ben Ramsey Content-Type: multipart/alternative; boundary="0000000000001f65cb05c9a7c9b8" Subject: Re: [PHP-DEV] [VOTE] Nullable intersection types From: deleugyn@gmail.com (Deleu) --0000000000001f65cb05c9a7c9b8 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Mon, Aug 16, 2021 at 2:22 AM Tobias Nyholm wrote: > Hey. > > > No mistake: the "pure intersection types" RFC was explicitly designed t= o > avoid scope creep (this RFC). > > > Just because it was intentional, does not make it less of a mistake. > I see that we have different views of this. And I understand that you are > happy with this change, but only for 8.2. > > I hope one day I'll have built up so much experience, knowledge and confidence to call a 30 x 3 vote of the selective people that can cast a vote "a mistake". --=20 Marco Aur=C3=A9lio Deleu --0000000000001f65cb05c9a7c9b8--