Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:107333 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 18442 invoked from network); 26 Sep 2019 13:38:31 -0000 Received: from unknown (HELO php-smtp3.php.net) (208.43.231.12) by pb1.pair.com with SMTP; 26 Sep 2019 13:38:31 -0000 Received: from php-smtp3.php.net (localhost [127.0.0.1]) by php-smtp3.php.net (Postfix) with ESMTP id 93EDB2D1FF9 for ; Thu, 26 Sep 2019 04:17:53 -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: AS3215 2.6.0.0/16 X-Spam-Virus: No Received: from mail-io1-xd2e.google.com (mail-io1-xd2e.google.com [IPv6:2607:f8b0:4864:20::d2e]) (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 ; Thu, 26 Sep 2019 04:17:53 -0700 (PDT) Received: by mail-io1-xd2e.google.com with SMTP id a1so5487207ioc.6 for ; Thu, 26 Sep 2019 04:17:53 -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 :cc; bh=fiIgajCfm36afM+IGHHU1iVxZRp3nkU06I/XmEmpKqE=; b=eXCxA8fmHWM6FIC32aY1R8Ao/+luDV0yrFonFO4kbx3kzGWho2UiF0C4tBpZsQsYyF XQthLiYsDj6A3oeT/lk/QXtSnShMy/tEKGz/ERQ62UVji3AWwYeR3uwzFOuRdiWkgQwP DvaMaE4T84+7WPcG+S/Sl3JQjWgX2R3lroXFvXqR1ncbIGs6UTBoaDK2JmOY28TTgLJ0 YLFcwptFohWtjl7rS8Pv2D6m6xDr1kcYsK/nEMQtQUwA14jfiWCDjjyKzhg9HfTvXkGy Sk7dWD1rXGmRhvKguPLClyfWmNat029TzFLO3ZamnggGMKvtCLGKXxCIlJpgJsW73nr8 eiNg== 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=fiIgajCfm36afM+IGHHU1iVxZRp3nkU06I/XmEmpKqE=; b=LqrSIw9nALkH1ZMvPfzpW0UO4j4aa3wOyqjhm1IN+DQ0+jwVQ/br1mjbsAeffJBkW5 DJ+a00CFS7C/guRfJXYNsMhITH6sznoqwiKdbobaYKNXGQj+TAF6LAQZBwUxDjXEIIdR Ev38pPoPWdDpxblhEixtebxCkHJvLNWDeu4i+bPL6+BoekypTEHv4Bji4x5QBEhvfccW T8HY3hOYHswAaPiR6COU9P4rAGSBTZyrhrIWZvQDT+YSnFxzViiqv0shdF5SSaK7lbu4 w9l8tzTq9HVzTNSvcEMuuXJPFWVjODDXULtKLg8KgBuFmOz4Uxk7823I2n9zDVKtGlE3 Vx2w== X-Gm-Message-State: APjAAAUCQTdvyOWMq3zx09OS9d7KUaCuFCWulDLdUD1w8wdI4/Qg7cg4 FA8jbpqYz0q09tFcRvvwD0LiAsWas4qYftUHBj4= X-Google-Smtp-Source: APXvYqwIExbuC4II4ij9/ZIe3uiGk2bcJnzQ+kLBgbsmtt6tTcRpSAkp4GXAgCwU1liMT5Oyn0qzfYwpCWQhaYLY0oY= X-Received: by 2002:a02:7810:: with SMTP id p16mr2991714jac.55.1569496672397; Thu, 26 Sep 2019 04:17:52 -0700 (PDT) MIME-Version: 1.0 References: <1544E25D-630F-4E02-BCF1-1A0DEF1EBD60@gmail.com> <74a6b1f0-87cf-a45d-c4a2-0b8ffcd56057@gmx.de> In-Reply-To: <74a6b1f0-87cf-a45d-c4a2-0b8ffcd56057@gmx.de> Date: Thu, 26 Sep 2019 13:17:39 +0200 Message-ID: To: "Christoph M. Becker" Cc: Nikita Popov , Sara Golemon , Claude Pache , PHP internals Content-Type: multipart/alternative; boundary="000000000000a26ec1059372ebd5" X-Envelope-From: Subject: Re: [PHP-DEV] [RFC] Union Types v2 From: benjamin.morel@gmail.com (Benjamin Morel) --000000000000a26ec1059372ebd5 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable > While certainly not the primary reason for why we should support union types, the reason why I brought this proposal forward at this time specifically, is that the lack of union types is a blocker for my pet project of providing comprehensive type annotations for internal functions. Supporting "false" is strictly necessary for this purpose, because it is part of nearly all unions as far as internal functions are concerned. How is that blocked by adding only "bool"? =E2=80=94 Benjamin --000000000000a26ec1059372ebd5--