Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:112519
MIME-Version: 1.0
References: <b6e84a3b-012e-4ef3-8c2b-14c7fcf2d45d@www.fastmail.com>
 <5f138466-1da4-0048-3cba-13c0d2da5732@gmx.net> <CAESVnVp6hGk6NAJv55APhtXc4cBHDbp8Z182=is8EZeZKBJzww@mail.gmail.com>
 <0956d65c-91ed-1d99-4b93-ce6ced83e9b7@gmx.net>
In-Reply-To: <0956d65c-91ed-1d99-4b93-ce6ced83e9b7@gmx.net>
Date: Tue, 15 Dec 2020 14:43:11 -0600
Message-ID: <CAESVnVoZ6FvhhR01hg1JaV7dzDSo-bQNVSz+qFxGFX_CP6D8tQ@mail.gmail.com>
To: Andreas Leathley <a.leathley@gmx.net>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000003ff10b05b686cf46"
Subject: Re: [PHP-DEV] [RFC] Short-match
From: pollita@php.net (Sara Golemon)

--0000000000003ff10b05b686cf46
Content-Type: text/plain; charset="UTF-8"

On Tue, Dec 15, 2020 at 1:37 PM Andreas Leathley <a.leathley@gmx.net> wrote:

> ```php
>
$this->handler = match {
>           null === $var => 'null',
>           true === $var => 'true',
>           false === $var => 'false',
>           is_string($var) => '"'.$var.'"',
>           is_callable($var) => 'callable',
>           is_object($var) => get_class($var),
>           default => rtrim(print_r($var, true)),
> };
> ```
>
>
I saw a proposal connected to match about a year ago that included type
based matching, something like:

match ($var) {
  true => 'true',
  false => 'false',
  instanceof int => "int($var)",
  instanceof string => "\"$var\"",
  instanceof object => get_class($var),
  instanceof DateTimeInterface => $var->getTimestamp(),
  default => rtrim(print_r($var, true)),
};

That might satisfy at least one of the use cases in a general way.


> I do like Nikitas idea to make it a TypeError for non-bool matches.
>
>
 Yeah. Within the context of this featurette, that's something we should
include in the proposal.  If you're doing a match(true/false/other-literal)
(explicitly or implicitly) then your cases should be commensurately more
well constrainted.

-Sara

--0000000000003ff10b05b686cf46--