Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:117392 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 76522 invoked from network); 21 Mar 2022 15:34:27 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 21 Mar 2022 15:34:27 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id D74FE1804D9 for ; Mon, 21 Mar 2022 10:00:40 -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.7 required=5.0 tests=BAYES_05, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_SOFTFAIL, T_SCC_BODY_TEXT_LINE 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-f44.google.com (mail-ot1-f44.google.com [209.85.210.44]) (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, 21 Mar 2022 10:00:40 -0700 (PDT) Received: by mail-ot1-f44.google.com with SMTP id e25-20020a0568301e5900b005b236d5d74fso10946505otj.0 for ; Mon, 21 Mar 2022 10:00:40 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=FNNCyEk/D+PnPW9bTL1cGPK+r0oNv6va67e5tVCgVQ4=; b=qb8CcZ7vlWfW9mlTW6DLczsUIVlIGkuuaH8IyTibNp2mF4M9iQ2RjpVwJCKr5YNQsA uY+sK0IjZ+uW1XtwlDluC/zfq9kSfjff0zjrccu4YRj45drU3oaiOZ1QzURIqwEtyBcU HQbz8AF1esnm3p43G7TCcDuF/23PEtVHhMc//lMcTx9wrHE8NKTeVF7zwJF2858HcDfm nrEu1/u7FiUraOffqF1TIcoX4A8g/dDOC2LtfqgHln6QPakBdqdzWY0GTcViQUamYVGO T0r6cZ2pDgmHpqxfj8H53lb+/4J+xEV+XKClvR2YwC4zawmgkNvufs+CQFONW+QCUJvn MvSA== X-Gm-Message-State: AOAM533gaxuNIOaD52DnPt36yRYpBlhAdDiAuuFTCjMew3fCR76CZL65 /OED/KtbTi6Hp54lTkE2Mp0TB4Of0sUzPRB7RFZpmqHcHXPweaqZ X-Google-Smtp-Source: ABdhPJwEq2YlZpWdnb7XtfKE7WvHp0MquE0m1uPDivq1HMx65Q7hhPmIstjlU3z6o7ZnQ8eEIb7zH5CRz60LYZk0SJY= X-Received: by 2002:a05:6830:1448:b0:5b2:4818:9e46 with SMTP id w8-20020a056830144800b005b248189e46mr8546702otp.250.1647882039738; Mon, 21 Mar 2022 10:00:39 -0700 (PDT) MIME-Version: 1.0 References: <67f0c6a5a1bb63f299877a07b0b6fde032ee6878.camel@sandfox.me> In-Reply-To: <67f0c6a5a1bb63f299877a07b0b6fde032ee6878.camel@sandfox.me> Date: Mon, 21 Mar 2022 12:00:28 -0500 Message-ID: To: Anton Smirnov Cc: PHP internals Content-Type: multipart/alternative; boundary="0000000000009c569a05dabd6f5d" Subject: Re: [PHP-DEV] [RFC] Disjunctive Normal Form Types From: pollita@php.net (Sara Golemon) --0000000000009c569a05dabd6f5d Content-Type: text/plain; charset="UTF-8" On Sat, Mar 19, 2022 at 12:15 PM Anton Smirnov wrote: > 1. I think that syntax would be cleaner without the parentheses > > No. https://c.tenor.com/zM15ZrNYp0QAAAAM/no-michael-scott.gif Grouping is never cleaner without parenthesis than it is with them. The actual proposal? Yes. DNF types as the next step in complex type expressions. -Sara --0000000000009c569a05dabd6f5d--