Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:115558 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 83794 invoked from network); 23 Jul 2021 11:48:15 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 23 Jul 2021 11:48:15 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 4658E1804AA for ; Fri, 23 Jul 2021 05:14:10 -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=-1.9 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, SPF_HELO_NONE,SPF_NONE 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-wm1-f53.google.com (mail-wm1-f53.google.com [209.85.128.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 ; Fri, 23 Jul 2021 05:14:09 -0700 (PDT) Received: by mail-wm1-f53.google.com with SMTP id a80-20020a1c98530000b0290245467f26a4so1532516wme.0 for ; Fri, 23 Jul 2021 05:14:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=beberlei-de.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=s2PxywqqpNkXWEmgDBUKMWIkP+TAXOrhiGDA0FsfLfc=; b=JkuwuMVrSsP1j6gpH7XQbwit/yUVHwxF8CDdAJXtSLgOtjyvYZoesi95+dLdU0/Cla LOYZi9a2zAGkFVRkGUL/n35QBFRmzFhTAJBCpRNGA3CyPw1gaQh02tZm9/KASdi89hU9 AdGqAuzKshGND4/3lt0dexYWS1HoxGvXaIt6C0ufTsaGkHW6sho4FLD4EnYNOgNMU3gk kR3yMSkfIj7kMlGXSp71JVpNVRvNzKq9O4FZ3Of+5y2JwegLVkkNySfvBQA3eZL8YGtB 1w/V1UnV2SLZ+iMkxcShDp/vj9ETxBwD65EnOx77K7LB/JgEanSeLQKKx7Ksy87oYCv1 4PhA== 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=s2PxywqqpNkXWEmgDBUKMWIkP+TAXOrhiGDA0FsfLfc=; b=dBxuM0xiVfbeKdxLXezc5IR+MV4XfeWLWVUsYEnCMTRLWJPR6sxSAuEukqM/BUu0jI oaXYbux/RM5UQ3iLJLlOm3MavzfMeRbDbaheDQ59JT2a+G2dY95ZDjl3J0EzEPK2Ek4i VeiN2znD1m7hRFvlqFhUQ43VB/bRlJKGRqBh/LzeZoND1HiE+p8GXS6BlwsiTmJyRLWb DtPMWYkmdAwsIXSDCPU/CNjOU11QWZ0+kQonE7K/OYTa8JH9LJUWIzOU3koECyhgCvwL zCM6a+dHS+9SKQhnCStL19FDAXbqI47UGWiTLKf/xWXdUnlsM921fgtrWaKL5nf/Xq9I jd7Q== X-Gm-Message-State: AOAM532pgnmtRGvoUKOxw3Q2SkeaJkRnD+rqxxQhMrhg83AA4UiAXKH/ RM3BgsEXJSHjdFzUH0t9saJsLvSSlDZ4KK6uDI7tA02nEmc= X-Google-Smtp-Source: ABdhPJxU06v5/Q3xP1FNrEHXniW88hjuN7MiIKmi8f2XofbUOrpySljnkob5mz2Yy5D1mHezlTaT+xkEratwWDoYyjc= X-Received: by 2002:a1c:7706:: with SMTP id t6mr4296867wmi.36.1627042448535; Fri, 23 Jul 2021 05:14:08 -0700 (PDT) MIME-Version: 1.0 References: <60faa00e.1c69fb81.9b46f.031eSMTPIN_ADDED_MISSING@mx.google.com> In-Reply-To: <60faa00e.1c69fb81.9b46f.031eSMTPIN_ADDED_MISSING@mx.google.com> Date: Fri, 23 Jul 2021 14:13:57 +0200 Message-ID: To: Mark Randall Cc: PHP Internals Content-Type: multipart/alternative; boundary="0000000000002e037805c7c9576a" Subject: Re: [PHP-DEV] Re: [RFC] Nullable intersection types From: kontakt@beberlei.de (Benjamin Eberlei) --0000000000002e037805c7c9576a Content-Type: text/plain; charset="UTF-8" On Fri, Jul 23, 2021 at 12:55 PM Mark Randall wrote: > On 23/07/2021 10:58, Nicolas Grekas wrote: > > Hi everyone, > > I wrote everything down about the reasons why here: > > https://wiki.php.net/rfc/nullable_intersection_types > > > IMO we should require brackets and forbid not using them when combining > unions and intersections. > > These types are already going to be confusing enough and we can likely > save a fair amount of confusion and pain down the line by requiring the > explicit brackets. > > Without wanting to bikeshed, let's just make sure we're set on () > because whatever we choose here will be the defacto mechanism for > declaring sub-types in PHP for the rest of eternity so it would need to > be maximally compatible with everything we might want to do with them. > This is also my preference to have it (A&B)|null - It is the least "disruptive" change for this late stage of the release cycle and leaves the most potential for future improvements. > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: https://www.php.net/unsub.php > > --0000000000002e037805c7c9576a--