Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123712
Feedback-ID: i8414410d:Fastmail
User-Agent: Cyrus-JMAP/3.11.0-alpha0-522-ga39cca1d5-fm-20240610.002-ga39cca1d
Precedence: bulk
MIME-Version: 1.0
Message-ID: <cd05b3ca-0aca-4b6a-a8bb-9e0668010857@app.fastmail.com>
In-Reply-To: <1956529224.315730.1718915368970@email.ionos.de>
References: <2a6b92eb-d5e9-4a1a-9548-a068ac42ebd2@app.fastmail.com>
 <1956529224.315730.1718915368970@email.ionos.de>
Date: Thu, 20 Jun 2024 21:05:24 +0000
To: "php internals" <internals@lists.php.net>
Subject: Re: [PHP-DEV] [Early Feedback] Pattern matching
Content-Type: text/plain
From: larry@garfieldtech.com ("Larry Garfield")

On Thu, Jun 20, 2024, at 8:29 PM, Thomas Bley wrote:
>> https://wiki.php.net/rfc/pattern-matching

> Thank you!
>
>> $var is *; // Matches anything, more useful in the structure patterns below.
>
> maybe also consider:
>
> $var is mixed; // Matches anything, more useful in the structure patterns below.

:thinking face emoji:  That should actually already work naturally through the type support.  And should indeed match anything, so... maybe we'll drop the wildcard and just document to use `mixed` for that?  It's a bit more to type, but should be pretty self-explanatory and eliminates a syntax, so...  We'll consider this further.

>> // Array application, apply a pattern across an array
>> $foo is array<strings>; // All values in $foo must be strings
>> $foo is array<int|float>; // All values in $foo must be ints or floats
>
> +1
>
> Regards
> Thomas

--Larry Garfield