Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114695
Return-Path: <george.banyard@gmail.com>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 84419 invoked from network); 2 Jun 2021 18:53:24 -0000
Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5)
by pb1.pair.com with SMTP; 2 Jun 2021 18:53:24 -0000
Received: from php-smtp4.php.net (localhost [127.0.0.1])
by php-smtp4.php.net (Postfix) with ESMTP id 5302F180502
for <internals@lists.php.net>; Wed, 2 Jun 2021 12:06:43 -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: <george.banyard@gmail.com>
Received: from mail-ej1-f44.google.com (mail-ej1-f44.google.com [209.85.218.44])
(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>; Wed, 2 Jun 2021 12:06:42 -0700 (PDT)
Received: by mail-ej1-f44.google.com with SMTP id h24so5462171ejy.2
for <internals@lists.php.net>; Wed, 02 Jun 2021 12:06:42 -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;
bh=e1XIOIuGFaUaTw2X7FuTItO+aOGLPX7b/X+eQLleu7g=;
b=UJSVpgx4Kdk5GrTP3Xzwug9Lh/GmfKxFBoY34DLFbIJGAGApUOvqBVAxx1iJwNVOhm
qdbqdaVCKbGn2qQJ5OECbRu4rUc2Cwxi3IszbkBc08Q7zwxlQjSho/QrB9v0aQkLzrMd
Z52RudDGJ29iX71Q5LKm9dFUG1H3r+SWTCaz+OfFWTOE4or2YzwJYOsd0I29hdKT1dwZ
DRU5s4lrXoA7cyzgJeCTPm/MgfvCzdfK7lXBW920mMbMEBpgO6NzhRbgrp6OcYLujppL
lvEXBJEpaTnXQBDjz1Ct7dr7N85FopNBB6XmHVw1h8E9yYMJyJPuK3OK6zSkDtUaXbkx
DHAQ==
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;
bh=e1XIOIuGFaUaTw2X7FuTItO+aOGLPX7b/X+eQLleu7g=;
b=K8WATWT7lh/4kweK1czRUFM+rkV+qKbqlGB+yJnYzVVyZOZy2x0k8N7L9+79I2Chz4
bcy8/Qt+mPz5wWauiu3gWj5KJVYF+Pim23p09E2pjiSVFOvw4SuTC/Nvf2ww/AjWDA+i
ozc2zYqs9Jf6zPv+BfhnbrBihGGn54wVDOLXfjlkKB+AXcVeFQu6fiUNSTHTLULPHmPe
twuV2SdP4HcRRaz6wlUI1N7u/4GBt8wQVv9uKYOqOl+tj5iNTNz1xqTSv9dP2+TniTpT
FVvGPD1nOonm8c4hQlS/cUsjS5lbbbBINOusUuVtZNtUC5DJkug6of1K2/1KFMzxrDUJ
yBng==
X-Gm-Message-State: AOAM5318xcmXt66kksut3uwsZnTqQznFMovmpsta5gLEti2BcT4MIv2C
ajSbtTxUpNCQlq5vM0JWEQbQlxh3kkYS5Lae1Y6eSVmvMQk=
X-Google-Smtp-Source: ABdhPJzDw3rCJTx1J9Yz7YWk2lVzgUALzf7JEAorluqdg4MxEERJy83uklA0D0DuM7RMpa4OxEUZ45SLyh6h6qbhMYY=
X-Received: by 2002:a17:906:6d14:: with SMTP id m20mr2198302ejr.504.1622660800677;
Wed, 02 Jun 2021 12:06:40 -0700 (PDT)
MIME-Version: 1.0
References: <CAFPFaMLxAaSzeDsT=Mkt2rM5KT21tvbsC02AHg8FZuEeSywZYg@mail.gmail.com>
<CAKuGYLRnDNtcMiefABbX7heKe2UGBF8tsWa9UZiPP1PYvHZPOg@mail.gmail.com>
<CAFPFaMJRFH1+=pqrnM6nDRLXvKU=eZsBhm33a1S6xYmf-bS5mQ@mail.gmail.com>
<LkGd_C00dJLp9757_UVVDjcIS5wIz7vdcoCiJCmiw2n82DERakIuU7w24uD2PMUIMre0Mw3CIdSj88_RzPqf8_PgX1xUezHYfkrp5_HDIg4=@protonmail.com>
<CAFPFaMKLrT2P51j=gkbyiMcLhgB5HvthGF3s0j5VCByjPx--PA@mail.gmail.com>
<624d7ea6-f9e3-4f0a-baea-9da15a75fdb0@www.fastmail.com> <CAFPFaMJPBwkAukx3__56VrASXjyTU6UOWjFzHcJ_r=+RfCXP+g@mail.gmail.com>
<CAFPFaMJTBoXkkaeJpWTxmnpDJy-k9H+q=K+hdoJDB3PkWEmeoQ@mail.gmail.com>
In-Reply-To: <CAFPFaMJTBoXkkaeJpWTxmnpDJy-k9H+q=K+hdoJDB3PkWEmeoQ@mail.gmail.com>
Date: Wed, 2 Jun 2021 20:06:30 +0100
Message-ID: <CAFPFaMJY0vBAJ6u+d-Fg2Co1wrGm2b=QFtnQqZuoi6WgMRgS-Q@mail.gmail.com>
To: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000009d8bcb05c3cd28de"
Subject: Re: [PHP-DEV] [RFC] Pure intersection types
From: george.banyard@gmail.com ("G. P. B.")
--0000000000009d8bcb05c3cd28de
Content-Type: text/plain; charset="UTF-8"
On Mon, 31 May 2021 at 16:09, G. P. B. <george.banyard@gmail.com> wrote:
> Hello,
>
> It has been two weeks since my last email and the only thing which has
> come up are the tokenizer changes pointed out by Tyson.
> To preserve BC I've aliased T_AMPERSAND with
> T_AMPERSAND_FOLLOWED_BY_VAR_OR_VARARG
> This is also reflected in the RFC:
> https://wiki.php.net/rfc/pure-intersection-types
>
> I plan on opening voting on Wednesday.
>
As it turned out I misunderstood Tyson, and I was asked to clarify the RFC
there has been some changes to it again:
- Addition of a "Motivation" section, which explains why Intersection are
needed and superior to Interfaces extending multiple Interfaces
- Expand why standard types are not supported, this includes
self/static/parent
- Split the variance rules into 2 bullet points
- Remove the T_AMPERSAND
As such I'm postponing the start of the voting to tomorrow.
Best Regards,
George P. Banyard
--0000000000009d8bcb05c3cd28de--