Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:113730 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 30538 invoked from network); 23 Mar 2021 19:50:27 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 23 Mar 2021 19:50:27 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 8FCD0180508 for ; Tue, 23 Mar 2021 12:46:02 -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-Virus: No X-Envelope-From: Received: from mail-ua1-f52.google.com (mail-ua1-f52.google.com [209.85.222.52]) (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, 23 Mar 2021 12:46:02 -0700 (PDT) Received: by mail-ua1-f52.google.com with SMTP id r8so3179697ual.9 for ; Tue, 23 Mar 2021 12:46:02 -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=k10QGVTnddPRv6Y0You0jJWOthQnhrR6j8mHrywuHHE=; b=irz8it+usIsXVPjb+UeZ5NgTiiTU0lHadoWRn1r8vAuzn73inutWqv1BQs/uHSvwBB x5NlvNMcpGGJUXvmlX2uyu1JlLbUnMT2chUaRSBhE+DXNssDyIj6nCLLqgsAJXZrDgkr 0iU+iMQite+0UqkqFZ1793VZzzWiSIPgcVPmgKtTW+P6aKP+QcrTnjdjFP6O8WE9/LHU W5gg0kiz+qOiMdUDDDtK88W5kEsMknzwGhv7ZY/O0iEPNUVcT8uh2fSuz3t+fndEYcQ0 tMhaN36IQEcfhTXAX1YpBplclo+B3I11m86R+OfOHrONmmg3JCeqZo4OSUV73GMnZEGD QEUw== 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=k10QGVTnddPRv6Y0You0jJWOthQnhrR6j8mHrywuHHE=; b=Rb1sr4LULwnckS3RvVcS17RqYlXgr7zBjXT7cFIt5qgilImZVf54bOhgeR+4yFIayw ntHJBlKw0JSxrQnko02NZ5C0VKLbKGDzo47JbPUm1qCeO6EN1KV0Ch6LlcsGuixBEC9i rnMSoratHAMMoQzzmWWoHUzW8bve21n2xv2u6TBXZoX/x4GJ47YKRdmMUfvce0Rv7osh 2K+Rutjbu7umNtrCu9tiIg6rQwYq6B9SpJss4S8uayH9PCxTtyvQX1oxOU9dNU76ZIJR r2HwXC6Ch6Z1GaUuucfyeC6gSa6kbjUXKwJ/OfDQVptbPS9MeH01L1bw0gExfIDRx323 UHpg== X-Gm-Message-State: AOAM5302yG3Gu30BvhIKkB6sLgXLrpb8t5qNIdq9Z/W5Lip9RKbyueEK /N5PP4GQTogU/eaq2/++5wLIoHA8BFAQmdPIuSI= X-Google-Smtp-Source: ABdhPJwANn7qi3Pzx/lj0O6Gw7m4cuTlYZSsDfVa3zES6ADAyhJ533fSq7RwhhHwcz1nkTozBhwIcbsO4t2YS6p1ldc= X-Received: by 2002:ab0:6ce7:: with SMTP id l7mr4859601uai.116.1616528759235; Tue, 23 Mar 2021 12:45:59 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Date: Tue, 23 Mar 2021 15:45:48 -0400 Message-ID: To: "G. P. B." Cc: PHP internals Content-Type: multipart/alternative; boundary="00000000000076a67505be396eea" Subject: Re: [PHP-DEV] [RFC] Pure intersection types From: matthewmatthew@gmail.com (Matthew Brown) --00000000000076a67505be396eea Content-Type: text/plain; charset="UTF-8" On Tue, 23 Mar 2021 at 05:32, G. P. B. wrote: > I'm calling this proposal pure intersection types as there would be no > possibility of mixing intersection and union types, I'm leaving this as a > future scope. > Does this miss an opportunity, though? It's useful to be able to write A&B|null. --00000000000076a67505be396eea--