Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:96747
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.41 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <cb36a781-9fed-2366-af7d-f3720af7a542@fleshgrinder.com>
References: <cb36a781-9fed-2366-af7d-f3720af7a542@fleshgrinder.com>
Date: Sun, 6 Nov 2016 18:59:26 -0200
Message-ID: <CAEsg9X3Vdhi=GX=d5wcc=vMOA8-YCF9YoAZWU95ZPNxD7MYYKA@mail.gmail.com>
To: PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a114be64ace1db00540a82e23
Subject: Re: [PHP-DEV] [RFC] Interval Comparison
From: david.proweb@gmail.com (David Rodrigues)

--001a114be64ace1db00540a82e23
Content-Type: text/plain; charset=UTF-8

I guess that the biggest problem is about the code parsing. Currently PHP
should supports what you wrote, but with another meaning. And personally I
think that this feature is not too common on programming language in
general, once that it is possible from first format (maybe more clear too).

Em 6 de nov de 2016 6:30 PM, "Fleshgrinder" <php@fleshgrinder.com> escreveu:

> Validating whether a number is within a closed or open interval is
> currently possible only via a construct like the following:
>
> ```
> if (0 < $x && $x < 42) {
>     echo 'x is in (0, 42)';
> }
>
> if (0 <= $x && $x <= 42) {
>     echo 'x is in [0, 42]';
> }
> ```
>
> It is not very readable and repetitive. It would be interesting to
> support a more mathematical notation for this:
>
> ```
> if (0 < $x < 42) {
>     echo 'x is in (0, 42)';
> }
>
> if (0 <= $x <= 42) {
>     echo 'x is in [0, 42]';
> }
> ```
>
> I cannot judge how complicated it is to extend the Bison definitions to
> allow this. However, if there is interest I'm sure there is a way. :)
>
> --
> Richard "Fleshgrinder" Fussenegger
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--001a114be64ace1db00540a82e23--