Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:113712 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 74374 invoked from network); 23 Mar 2021 09:37:03 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 23 Mar 2021 09:37:03 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id CF66F1804E3 for ; Tue, 23 Mar 2021 02:32:31 -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_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE, SPF_PASS autolearn=no autolearn_force=no version=3.4.2 X-Spam-Virus: No X-Envelope-From: Received: from mail-ej1-f42.google.com (mail-ej1-f42.google.com [209.85.218.42]) (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 02:32:31 -0700 (PDT) Received: by mail-ej1-f42.google.com with SMTP id u9so25938857ejj.7 for ; Tue, 23 Mar 2021 02:32:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=+1f2dOVLyWrEpzHbD7XcLW4qbFAWVjfHR2+ff34lD7o=; b=B6kPimCYfeFOtyChOeZTpv2TJYY/9V/5k7ggb9r5kViII3BmWJk2iM5ltB5vzwttpM 9XFuRNyd6z1RfVhW5X1tSwT6n0KvrCawczA9AxJ3kpQcJxklGPXSyUj1KzLqdCpqJGH8 9slibU6G8tup1gkHtyql0Z3FpAhJnKz0RiiOaNZmwvo5at9+PYO6dLT+2IfGd/2DXPTy tfpX4AKaP+iM+Bl0tyPLfkl65AZZP4xPHE5AoimMad23Ik+CD2Ncz58HOQl+fo5HPhs6 wdYHZb03bSmRL5RWwe/Q3U4VFPkU4DQyMiTIFLcMryHD/0vZphAs2Uu8RUNoGPmKtcHw MAuQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=+1f2dOVLyWrEpzHbD7XcLW4qbFAWVjfHR2+ff34lD7o=; b=NC/r6u+u4j4zYcF4l9HF9Q7JWn8HZOJrO/biLKweCPuZiRnxFfUS4hlmhHWvJCwuiE Njz3CbNsunVClwM42DmfEMI5Kly6U3kuFVx9Ip0SzWs8Qm1IPwsbPl0UxEztraA54Wx9 ZeSlHug7UStLj9kmElLXRIkQMRYpe9nw0FIESudz5TFKyBudQTuM7TmJKHeCTduJOnPY hqgd8pwjw2sy2YdKda1p7DZ8fWZI5qo8CUfEZeesElrAAExiFIXJpWFAwMt1tZPRXetr FNK5hxRUoRESQ+dpsE3QSysOnkqtlUBH7xCkK+MekXtjxSytZi8vsiwPfwItmqW9qc33 9S1Q== X-Gm-Message-State: AOAM532/WYvac1fQRlkMLRez5lcM117+UzdKoEulcHyiKgx6+dp38N5t 5UTf5cfvUgxdOtfXNbDz3nAtqlq/ajTBxggCkcAV4Z7pJtB9+Q== X-Google-Smtp-Source: ABdhPJx97NF+Bd7EOUzPGtJhaJIlvN1mcV5nbw+ZrPsT4q8q13UC7gjgM0OHdB/C8Qe+yeziDGCYcqCNLXJZoWUbO8s= X-Received: by 2002:a17:906:414e:: with SMTP id l14mr3863790ejk.406.1616491948280; Tue, 23 Mar 2021 02:32:28 -0700 (PDT) MIME-Version: 1.0 Date: Tue, 23 Mar 2021 09:32:17 +0000 Message-ID: To: PHP internals Content-Type: multipart/alternative; boundary="0000000000005c115b05be30dc1a" Subject: [PHP-DEV] [RFC] Pure intersection types From: george.banyard@gmail.com ("G. P. B.") --0000000000005c115b05be30dc1a Content-Type: text/plain; charset="UTF-8" Greetings internals, I'm presenting a new RFC to add support for pure intersection types to PHP. An intersection type A&B means that the value must be of type A and of type B at the same time. 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. The current draft is located on GitHub: https://github.com/Girgias/intersection-types And the current implementation PR is: https://github.com/php/php-src/pull/6799 Looking forward to the feedback. Best regards, George P. Banyard --0000000000005c115b05be30dc1a--