Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:107626 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 89696 invoked from network); 22 Oct 2019 11:50:34 -0000 Received: from unknown (HELO php-smtp3.php.net) (208.43.231.12) by pb1.pair.com with SMTP; 22 Oct 2019 11:50:34 -0000 Received: from php-smtp3.php.net (localhost [127.0.0.1]) by php-smtp3.php.net (Postfix) with ESMTP id 9F9DE2C04D4 for ; Tue, 22 Oct 2019 02:36:26 -0700 (PDT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp3.php.net X-Spam-Level: X-Spam-Status: No, score=-2.0 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,RCVD_IN_DNSWL_NONE, SPF_HELO_NONE autolearn=no autolearn_force=no version=3.4.2 X-Spam-ASN: X-Spam-Virus: No Received: from mail-lf1-x130.google.com (mail-lf1-x130.google.com [IPv6:2a00:1450:4864:20::130]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by php-smtp3.php.net (Postfix) with ESMTPS for ; Tue, 22 Oct 2019 02:36:26 -0700 (PDT) Received: by mail-lf1-x130.google.com with SMTP id f5so4787627lfp.1 for ; Tue, 22 Oct 2019 02:36:25 -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=m4CEHCsn6Zz3BKMV51lu621qLIKlv0EtSrLlDxtgpQ4=; b=IS4fVgp7n2r2k3ay5SlD4eLCv+hI8RWXF9vF98MlDvcJlHxVYYPP0c4e+A5xhyDW9l U30pjvwQB0pijFHlS3LPjKQkzvkV0pBvKARtj4hXuXPIBREjgcryxdiwXmW0V5VyKaE8 M21boX4gnJqLGuRtjFFjiyq49GcwBRkbA32LQHom56+sMQ1+eJbAcFGlYGRq8iiesXp+ 2TNaBJOtWbKdGe6iSNYfr/LuJuEg7Rg+7jCBf3zPqRtiBf2HduIm/NP0kBw1Xvrmju3q VjapOSERRhwhmRLv6xZ6qufusnPL74dCKd8n2AJAR3L+GS0eaDvcUlUKO3xuK6TRF/jw HnjQ== 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=m4CEHCsn6Zz3BKMV51lu621qLIKlv0EtSrLlDxtgpQ4=; b=SVKTlbPl+FEvFwd57ip8jR0I64kXG9zqejFPNoJj1ervwWgFlVGXjkObWMw2rrHlsQ xApBk9xE3zBBZ10nQ4lWEkikMDqWR5MOULNSn+Hwlazg0C131rcADMmaeHQGYcUqFA5H 4/QFnNdSL6o0+Uo/dBT4AKMw54T7ukokrvDNzfboln5HUmlGO1FhPQv9niWghuX3sgwQ 6d82m269HAYcbYnvN/8drgae0FWylXmkXufrEv3bzb82XPJC1jp7dS8Z5kChRTFaHRh0 kO5Sxu+krPf6f2UZdY0f81oI1YAeB4ftxwUJaj48dsyrrUW7UGfZqIGjdCUy5H/tPcvQ PMMA== X-Gm-Message-State: APjAAAURPLbRyEs1WX6A9Y27iFpLXS+BdPkkVpRE1+CWVqFqKyvq4Mz4 MPBFB4/7BfTG5LSRiIs9sA9am1XrbVxvL9o+1e6/QIR949mBtQ== X-Google-Smtp-Source: APXvYqzlXDLFSP7aW5PbAmIV58+6jATdtLSlNcD8ufF1SAmwG86ooB7+ievp1g17dmsgmPwMoj+j6TcsBT5/+AYIV+c= X-Received: by 2002:ac2:410e:: with SMTP id b14mr17551743lfi.110.1571736983995; Tue, 22 Oct 2019 02:36:23 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Date: Tue, 22 Oct 2019 11:36:07 +0200 Message-ID: To: PHP internals Content-Type: multipart/alternative; boundary="0000000000009c878505957c88e6" X-Envelope-From: Subject: Re: [RFC] Union Types v2 From: nikita.ppv@gmail.com (Nikita Popov) --0000000000009c878505957c88e6 Content-Type: text/plain; charset="UTF-8" On Wed, Sep 4, 2019 at 10:26 AM Nikita Popov wrote: > Hi internals, > > I'd like to start the discussion on union types again, with a new proposal: > > Pull Request: https://github.com/php/php-rfcs/pull/1 > Rendered Proposal: > https://github.com/nikic/php-rfcs/blob/union-types/rfcs/0000-union-types-v2.md > > As an experiment, I'm submitting this RFC as a GitHub pull request, to > evaluate whether this might be a better medium for RFC proposals in the > future. It would be great if we could keep the discussion to the GitHub > pull request for the purpose of this experiment (keep in mind that you can > also create comments on specific lines in the proposal, not just the > overall discussion thread!) Of course, you can also reply to this mail > instead. The final vote will be held in the wiki as usual. > > Relatively to the previous proposal by Bob&Levi ( > https://wiki.php.net/rfc/union_types), I think the main differences in > this proposal are: > * Updated to specify interaction with new language features, like full > variance and property types. > * Updated for the use of the ?Type syntax rather than the Type|null > syntax. > * Only supports "false" as a pseudo-type, not "true". > * Slightly simplified semantics for the coercive typing mode. > > Regards, > Nikita > An implementation of this proposal is now available at https://github.com/php/php-src/pull/4838. As the implementation didn't turn up any new issues, I think it's time to move this RFC forward to voting. Nikita --0000000000009c878505957c88e6--