Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:110310 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 72221 invoked from network); 30 May 2020 09:21:31 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 30 May 2020 09:21:31 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 708DC1804CB for ; Sat, 30 May 2020 01:02:40 -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.9 required=5.0 tests=BAYES_50,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_ENVFROM_END_DIGIT, 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-ASN: AS15169 209.85.128.0/17 X-Spam-Virus: No X-Envelope-From: Received: from mail-ed1-f54.google.com (mail-ed1-f54.google.com [209.85.208.54]) (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 ; Sat, 30 May 2020 01:02:37 -0700 (PDT) Received: by mail-ed1-f54.google.com with SMTP id k19so3465013edv.9 for ; Sat, 30 May 2020 01:02:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:mime-version:subject:message-id:date:to; bh=lGFnYJmGVtSnsMx6yq63pzzp9EIoqu4ULbHzyKdsV3Y=; b=HgciMGabzpwuN/6r9FWYMU2EW+LJ0pW73AG+9NdfhpoZa9u7MkOCNGbo/T6cDhn5AJ q3/QIJN7iYcVM3a5S9YT5esepU+bfpY4/D4kuSAzr4+jI0jcsyJ9WVkmEJplUOMJ29hs f1gnRR723aNS1E5T9hna9BYcbxzrahLGQm/gYJp+KijF84iyzWkZg5dArYqLGxLH59FJ qVRW9lpVJlf1G3CTIaf4dHMV0WMM0WH/lbNY0e/nbuHSucU5zzjhvWnuYSARG5uau9hr UGUOAUoAt5Gqqhs47hxnLutKQLxxsOjJHAjSX8mDm/oEGY9eZ8lqTRHMRigOeEpIRtly p/FQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:mime-version:subject:message-id:date:to; bh=lGFnYJmGVtSnsMx6yq63pzzp9EIoqu4ULbHzyKdsV3Y=; b=lWt0d3jseXwDQEKwS/9QBZ5cK3GTtF5ax91oFC04xC3bmvaXoSpo6gtRpQgYwSTnqD qNTZxGfaXgJi+M0XO0z9SxweWOdmw6+B2nkQ95yc8MzEE7IJ8YTP9XhOULx2u8tKU8IS scvl7clLHSoVBEHvGnlDn4Uu+Sz0U+B1IT+PUrpVq6DOMWjLlarsuYJux4GCs8bhm4gK z9EJz5Y6v78Vnd49qgSTPhjuMKp60vqe+W7lAHW2JsXdVTOv7XZy3kuUf3/AGzBF45DM bQFRMw+vZwiUCC/PbotMfYs2QC/Ep9+RcoA2ElWvz/cjAcSXzmHJanoxnhEWQMzYG6Qe zQyg== X-Gm-Message-State: AOAM5333jK3ESMHJf+wkWzXeUr0BS6AybtO0Hdcdr4mMxUnqQDoMARr7 RYVMfWtHR4p6JAoaXn3GjQr0MFNg+/s= X-Google-Smtp-Source: ABdhPJxl661WRXdJOcy8H/5zwA+XOtkNFMrNfzE1IZCPSznzc+DFT/9S3ZFGYk+ZjlekLvkIG5cpsA== X-Received: by 2002:a50:c014:: with SMTP id r20mr11701471edb.110.1590825752635; Sat, 30 May 2020 01:02:32 -0700 (PDT) Received: from [10.121.0.12] (host-hs3orvj.static.zeelandnet.nl. [217.63.79.110]) by smtp.gmail.com with ESMTPSA id g13sm9190529ejh.119.2020.05.30.01.02.32 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sat, 30 May 2020 01:02:32 -0700 (PDT) X-Google-Original-From: Gert de Pagter Content-Type: multipart/alternative; boundary="Apple-Mail=_8011EF0B-5503-48CA-802A-BAAA4C739D9F" Mime-Version: 1.0 (Mac OS X Mail 13.0 \(3608.40.2.2.4\)) Message-ID: Date: Sat, 30 May 2020 10:02:30 +0200 To: internals@lists.php.net X-Mailer: Apple Mail (2.3608.40.2.2.4) Subject: Intersection types From: gertp93@gmail.com (Gert de Pagter) --Apple-Mail=_8011EF0B-5503-48CA-802A-BAAA4C739D9F Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hi Internals, With recent additions of the type system like union types [1], id like = to propose adding intersection types as well. Looking through past RFCs I found one from 2016 [2] which never left the = discussion phase and is currently marked as inactive. Before continuing with an RFC I'd like to know if there are any = particular reasons why the original RFC never got into a voting phase, = so that this one may be more successful. P.S. I=E2=80=99d also like to get RFC karma so I could create a = proposal. Thanks in advance! [1] https://wiki.php.net/rfc/union_types_v2 = [2] https://wiki.php.net/rfc/intersection_types = = --Apple-Mail=_8011EF0B-5503-48CA-802A-BAAA4C739D9F--