Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:102273
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmx.de designates 212.227.15.19 as permitted sender)
To: internals@lists.php.net
References: <CAESVnVqm3tVt53bQfxOpQcOMf_2fXhnu9y+42trTfv7zNMONHw@mail.gmail.com>
 <CAF+90c-HGB-2MbdrCYuQNrNYR4EJ9hAeFaKTW-sh1kwboDd0Kg@mail.gmail.com>
 <82788099-3fba-282a-8d28-68b0ea3276be@php.net>
Message-ID: <048ed6c7-2bf5-537a-759b-79fd1767e65d@gmx.de>
Date: Fri, 15 Jun 2018 11:44:07 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.8.0
MIME-Version: 1.0
In-Reply-To: <82788099-3fba-282a-8d28-68b0ea3276be@php.net>
Content-Type: text/plain; charset=utf-8
Content-Language: de-DE
Content-Transfer-Encoding: 8bit
Subject: Re: [PHP-DEV] Strict switch statements
From: cmbecker69@gmx.de ("Christoph M. Becker")

On 15.06.2018 at 08:36, Sebastian Bergmann wrote:

> Am 14.06.2018 um 10:35 schrieb Nikita Popov:
>
>> It might make sense to introduce an entirely new "match" statement
>> that conforms a bit more with how switch-like strictures are
>> implemented  nowadays. That is, something like
>>
>> match ($expr) {
>>     "foo" => {...},
>>     "bar" | "baz" => {...},
>> }
>>
>> or similar.
> 
> Interesting. Can you provide a pointer to a language that has a match
> statement like that?

This match statement (or would it be an expression?) could be regarded
as an extremly simplified syntactic variant of the case-of expression of
Standard ML[1].

Instead of the pipe operator we could use a comma to separate multiple
“patterns”.  Using “case” instead of “match” appears to be something to
consider as well.

[1]
<https://www.cs.cornell.edu/courses/cs312/2004fa/lectures/lecture3.htm>,
section “Pattern Matching”

-- 
Christoph M. Becker