Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:112537
MIME-Version: 1.0
References: <b6e84a3b-012e-4ef3-8c2b-14c7fcf2d45d@www.fastmail.com>
 <CADyq6s+pe0NDvL22HTCinAcCFNxJc6ZozMRn_b0mhJT15tPPxA@mail.gmail.com> <CABAhh3FX=u7gynxj5kO5nWDDM+d60jCSDYgkGnFqAnB3e8+KrQ@mail.gmail.com>
In-Reply-To: <CABAhh3FX=u7gynxj5kO5nWDDM+d60jCSDYgkGnFqAnB3e8+KrQ@mail.gmail.com>
Date: Thu, 17 Dec 2020 10:23:43 -0600
Message-ID: <CAESVnVqMp9fA59TO9b1a3poPKeysqQahxoy8o6TZnr3wE8UbYg@mail.gmail.com>
To: someniatko <someniatko@gmail.com>
Cc: Marco Pivetta <ocramius@gmail.com>, Larry Garfield <larry@garfieldtech.com>, 
	php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000000419005b6ab6b8b"
Subject: Re: [PHP-DEV] [RFC] Short-match
From: pollita@php.net (Sara Golemon)

--00000000000000419005b6ab6b8b
Content-Type: text/plain; charset="UTF-8"

On Wed, Dec 16, 2020 at 6:50 PM someniatko <someniatko@gmail.com> wrote:
>
> `match` is an expression, where as if-else construction is not. This
> allows for combining it with a potential future feature of single line
> functions and methods. For example (hypothetical syntax is used):
>
> ```
> $getNumber = fn(int $number) => match {
>     $number < 0 => NumberKind::NEGATIVE,
>     $number == 0 => NumberKind::ZERO,
>     $number > 0 => NumberKind::POSITIVE,
> };
> ```
>

That does read attractively, yes.  This is the example that should have
been offered first as it shows the expression nature shining.

To contrast that with what would be possible now in an expressive
functional form:

$getNumber = fn(int $number) => [
  -1 => NumberKind::NEGATIVE,
  0 => NumberKind::ZERO,
  1 => NumberKind::POSITIVE,
][$number <=> 0];

The match form *certainly* reads more naturally than the spaceship indexing
form even though both take up equal space.

-Sara

--00000000000000419005b6ab6b8b--