Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:101434 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 735 invoked from network); 29 Dec 2017 12:26:38 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 29 Dec 2017 12:26:38 -0000 Authentication-Results: pb1.pair.com smtp.mail=rowan.collins@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=rowan.collins@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.53 as permitted sender) X-PHP-List-Original-Sender: rowan.collins@gmail.com X-Host-Fingerprint: 74.125.82.53 mail-wm0-f53.google.com Received: from [74.125.82.53] ([74.125.82.53:40138] helo=mail-wm0-f53.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id BA/08-47595-D74364A5 for ; Fri, 29 Dec 2017 07:26:37 -0500 Received: by mail-wm0-f53.google.com with SMTP id f206so47786992wmf.5 for ; Fri, 29 Dec 2017 04:26:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:user-agent:in-reply-to:references:mime-version :content-transfer-encoding:subject:to:from:message-id; bh=r5fNIWSrO1uOM4/pavAqZLEX17CqmPNbZNJcX52IQsU=; b=CRioqw/UskTbVzpKPjEPOdqCNExYxluv5P6HHdtKIT4dWNEh3j81+r1mqMptSVNBN1 CPmF3pz8IuixGNqWmoJvKP0YvPaFFYJXmID+tL1I0f0Fn+X0BZTV8YZVvdhhhp/C6hf5 Kk2ZLnpa4BAqUUvUVLkjGe6tisW1eaPJO6eNezPH92XFs0Q+WZyPGK3HKIKruM8KC47K XTYB4p0T4R5GIwpJPXMxixKNny8YiWn/8W7yattt3I3UERN1pvt4wg2b+8mwLM5R+lWE upTWjq1EREl78i9g8dmQrE0LeLi1oZixyH+m1DxU2e0hTxI9jMMtUT+uTfgou38Smv1W IDXQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:user-agent:in-reply-to:references :mime-version:content-transfer-encoding:subject:to:from:message-id; bh=r5fNIWSrO1uOM4/pavAqZLEX17CqmPNbZNJcX52IQsU=; b=GnrsheOt0/R2eWib2OxWYXqQr9m1IJUBjpHCTVwXi+KXVqjMkiRkJUPTjJ2e7AXyCd ox/k23YRDXIWh0y9hifMzrsFrtYsNKAH26j1vzXcyJvz9+Xt8CACOZMoAbh1TKtyY+RM N0XD/wXYyxNXqv2Z0AzMjwTz0CWm8Vf+D83P0HmAI0nfKHkKG/q+pe2Nd9suA+enzY9W qN2RIzXagrA+kuqZX6wZOXB08rzsvfd/W/djXrm5/Fav5FPD1lhDN0YvpzTgHgfqnnAc Eg51b9Kd5lT8l/oam6led8aXMGE/j+jkHapV42itSW/I/FBqifjnYof9EN43rU7TJ6SZ pYQQ== X-Gm-Message-State: AKGB3mLc0UfwLkU3gacWrkH0QzQRakE2++xl8Rx8qD/rGsIbVs3Apct3 xPOcFeIrx+6r5hhDxnjIVYOClA== X-Google-Smtp-Source: ACJfBovpY08JqP2iY44DC1A39JUUabyA3I0t0b08Zt+jEaig2JQu+R/voClRF5HWD6WzMxVlQI7orA== X-Received: by 10.80.151.36 with SMTP id c33mr9007538edb.8.1514550394263; Fri, 29 Dec 2017 04:26:34 -0800 (PST) Received: from ?IPv6:2a02:c7d:3299:cf00:49b:49b7:269a:60c6? ([2a02:c7d:3299:cf00:49b:49b7:269a:60c6]) by smtp.gmail.com with ESMTPSA id o60sm31828630edb.79.2017.12.29.04.26.33 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 29 Dec 2017 04:26:33 -0800 (PST) Date: Fri, 29 Dec 2017 12:26:31 +0000 User-Agent: K-9 Mail for Android In-Reply-To: References: <72392123-d37b-26df-6886-218f48205f8a@fleshgrinder.com> <58A5ABDF-AA25-46D4-83E7-4DE72E3DFF5E@gmail.com> <757270790.33iDQ9MZ2V@vulcan> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable To: internals@lists.php.net Message-ID: <737D892F-BF1C-4A6E-9833-BEF050C78274@gmail.com> Subject: Re: [PHP-DEV] [RFC] [DISCUSSION] Scalar Pseudo-type From: rowan.collins@gmail.com (Rowan Collins) On 29 December 2017 12:08:16 GMT+00:00, Fleshgrinder wrote: >What is the use case for `int|float`? I mean, if f is able to process a >`float` than f is able to process an `int` and since `int` is already >automatically changed to a `float`, well, you're done=2E I think it is somewhat tedious if we discuss every possible pair of types,= just as it would be somewhat messy if we added a new keyword for every com= bination we found a use case for=2E The beauty of a general-purpose syntax = is precisely that a user can use whatever combination they need, and not us= e combinations they don't need=2E I'm sure there are plenty of nonsensical = or redundant checks that can be expressed in other parts of the language, b= ut that doesn't mean those language constructs are useless or damaging=2E Regards, --=20 Rowan Collins [IMSoP]