Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:117387
Return-Path: <levi.morrison@datadoghq.com>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 26030 invoked from network); 21 Mar 2022 01:16:19 -0000
Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5)
  by pb1.pair.com with SMTP; 21 Mar 2022 01:16:19 -0000
Received: from php-smtp4.php.net (localhost [127.0.0.1])
	by php-smtp4.php.net (Postfix) with ESMTP id F380C180381
	for <internals@lists.php.net>; Sun, 20 Mar 2022 19:42:26 -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,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: <levi.morrison@datadoghq.com>
Received: from mail-yw1-f169.google.com (mail-yw1-f169.google.com [209.85.128.169])
	(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 <internals@lists.php.net>; Sun, 20 Mar 2022 19:42:26 -0700 (PDT)
Received: by mail-yw1-f169.google.com with SMTP id 00721157ae682-2e62c790cbdso15990337b3.0
        for <internals@lists.php.net>; Sun, 20 Mar 2022 19:42:26 -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
         :cc;
        bh=pgQj3MR5v9yvxGAqouJ/4P4bVVf1v0L8Go3NA0dCQyE=;
        b=YlOUdHS8MEdR6jQt5CRQilov4Z5WHl+MfSp8DKr3vvaIY5pgVD989UR4sGugoeH74k
         dEzECPeYCoxVlUDOg/TRcD//PGS5ZjpPYhGTQYnXzPTvL7TXKDgK/H5nmHz5YJGMmY7z
         lw8W52nR0HPLfTDTdrdkRuKLkdsdg+Rp8Ycs8=
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=pgQj3MR5v9yvxGAqouJ/4P4bVVf1v0L8Go3NA0dCQyE=;
        b=xGe7l3KVf4TnDH18RZqMIMhhlfps1d0bJ2SCbamH0GxV03x8XvzzJLaIJP5YT99hpo
         ca1boqji7T912G/nUjw7Qsdqg7oTX0sQ6XWj13IKkPIej6Qeu6Ux2qWvjnrXp1k15TC7
         xCMfwuUDEzLdTyw9He4MAeJPBg7KkNz5SHGSTdcB983oITTUICewNuDwsCgWde12onwT
         Xy/zfm7FgoUfEf5M7BNtYhlGCQy4BHHdYvJDPgtZ0IHcHBZbYpJ2KAhQ5PeFUubVU7fZ
         D1E8VIPtQajhxFPVdZ81GU2UR4Ml9wDzMKb5G1a6u6fWDl3MbaS+PohpDJ27FFTTwFKW
         Dwwg==
X-Gm-Message-State: AOAM531i9Q7Hr6XztirMB3SZB6UkrSnRKW9BxTezOpuN2mcKG5ab37Q4
	HZ/Ao3Q+7Pt6xA/+pAM+aSCTS/0OvZPps014WYvXWA==
X-Google-Smtp-Source: ABdhPJxDz7ilH9i0Dq4Wlg0NOvPN2HwfkOs921e1sDEs8SzvPmoj+2g+8LEj1E7g9hw0otB35GAhTOtkGIPodkyrBhY=
X-Received: by 2002:a81:a18b:0:b0:2e6:4427:81ec with SMTP id
 y133-20020a81a18b000000b002e6442781ecmr1436253ywg.159.1647830545808; Sun, 20
 Mar 2022 19:42:25 -0700 (PDT)
MIME-Version: 1.0
References: <CAFPFaM+Z9WYEOc2aXt5yQPQFpuCuXZitpg8p67rUF7QSha_hKA@mail.gmail.com>
In-Reply-To: <CAFPFaM+Z9WYEOc2aXt5yQPQFpuCuXZitpg8p67rUF7QSha_hKA@mail.gmail.com>
Reply-To: Levi Morrison <levi.morrison@datadoghq.com>
Date: Sun, 20 Mar 2022 20:42:15 -0600
Message-ID: <CAAKU0umKdnCszBUS51Jcay509Lh-XO1kMiO7QPzTMTpHg6jETg@mail.gmail.com>
To: "G. P. B." <george.banyard@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] [RFC] Disjunctive Normal Form Types
From: internals@lists.php.net ("Levi Morrison via internals")

> DNF types are a way to mix intersection and union types together in a
> single type.
> For example:
>  [...]
>  - (Traversable&Countable)|array

I have yet to read the fine print, but this example was a motivating
case for me to start down the union-types road years ago. I would be
very happy to finally see this in the language!