Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:117379 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 27834 invoked from network); 19 Mar 2022 15:13:09 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 19 Mar 2022 15:13:09 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 53E4A180382 for ; Sat, 19 Mar 2022 09:38:55 -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.2 required=5.0 tests=BAYES_20,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, 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-yb1-f175.google.com (mail-yb1-f175.google.com [209.85.219.175]) (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, 19 Mar 2022 09:38:54 -0700 (PDT) Received: by mail-yb1-f175.google.com with SMTP id v35so20997660ybi.10 for ; Sat, 19 Mar 2022 09:38:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=GaB3YEsONTP84wU6UYgmLzF1Txagz9Dziky59a59Srk=; b=bLlkBV0ebVOBAZ4sbxxzWemMlkXyqsOWYfD3tKjeUd4yizvUDnbU4kysDvplM93Nud qRr67kIfmySRmbIW2hzL8MorDienQ3tq0UwkQG9gxEqxtaQyo9kK1y07SgcHwC7TtgMV 7y2Pk+db/7ASodGHQ4L8o3Ra50z/9L38Bjo6NBesuk4ppVa70CnxD1FC8RL8kYhLBE4/ s3MZPVL+AlaXk3oJ33oxesVDbCMGdIfPUVaXd6bZ+GQfi0qwPfAQHmHp62xI68/4/+Cc 5hLchvqozmtnOu0yTKUHDiYse4SDHEU2IRRJUqWt2HGbopzi0yHb6RPlJ4h7G2iG8LBC GUbw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=GaB3YEsONTP84wU6UYgmLzF1Txagz9Dziky59a59Srk=; b=jwTmX2+XZh6DQhVrC3AN4cgeMEug5Yy8jAsu+lzWcVMPcTIR5h82C9yv14K0/KRsHb L8p5a/Myv0RsQEnRtNYqvnk7oMGCmdyXDzfIOUGhU93CYxHMr1U0VllfzOstGhi1UH6Y tu4NCfuNbcYUPHh2Skpev3Y/zUoh6fN9ORLt8fMDu8NkS0hcTf4uupciWaX4W5nTfHpc TfE4WvqYZ8ekfQ48dJOcBOzd0HfPmSHEI3V3rye2bqPCfjV8y0Fpzv/sBVbMrV0iVVRB zZ8cTtdoP2eQrTNtyR1eRX0t9lIT9CkiVh+rRfxWdX70Pmz3X9SycB4qBSNsTqhPh3vc 17tQ== X-Gm-Message-State: AOAM533EMIqhCja6beAwsmVnqp+kfaos7+1WJFpm52rAQ5KsD0KXsK5X bVqkV9J7YkE3AeJHhXGv0K/kqiIXYcXmgA1WGHl7hN1JZPA= X-Google-Smtp-Source: ABdhPJwvEB2WiqTh5fR+h6Sw1Vyf1ETwUWsIfbsRxvy7JLBIGfmNxaEFzVJ6PdOiSrOoPhQFHbrvUWdppTaZitZJSxQ= X-Received: by 2002:a25:fb0f:0:b0:633:cc0e:9d with SMTP id j15-20020a25fb0f000000b00633cc0e009dmr4629781ybe.580.1647707934171; Sat, 19 Mar 2022 09:38:54 -0700 (PDT) MIME-Version: 1.0 Date: Sat, 19 Mar 2022 16:38:43 +0000 Message-ID: To: PHP internals Content-Type: multipart/alternative; boundary="0000000000001c24e705da94e62f" Subject: [PHP-DEV] [RFC] Disjunctive Normal Form Types From: george.banyard@gmail.com ("G. P. B.") --0000000000001c24e705da94e62f Content-Type: text/plain; charset="UTF-8" Hello internals, I would like to open the discussion on the Disjunctive Normal Form (DNF) types RFC: https://wiki.php.net/rfc/dnf_types The implementation for it is available on my fork, [1] but currently relies on a pending PR [2] to make the implementation simpler. DNF types are a way to mix intersection and union types together in a single type. For example: - (A&B)|null - (Traversable&Countable)|array Best regards, George P. Banyard [1] https://github.com/Girgias/php-src/pull/10 [2] https://github.com/php/php-src/pull/7309 --0000000000001c24e705da94e62f--