Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:112562
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>
 <CAESVnVqMp9fA59TO9b1a3poPKeysqQahxoy8o6TZnr3wE8UbYg@mail.gmail.com>
 <490a62fb-f6f4-4d7b-b46d-571abfa28618@www.fastmail.com> <CAJpLVh1KA8_Tqh28xrvX0CamYaSSmyQLMN3xTrwXZEJqN+G7kQ@mail.gmail.com>
 <24f119cf-0ab5-4db6-8940-062f08d5a8cb@www.fastmail.com>
In-Reply-To: <24f119cf-0ab5-4db6-8940-062f08d5a8cb@www.fastmail.com>
Date: Sun, 20 Dec 2020 11:31:54 +0100
Message-ID: <CAJpLVh28papuDLSuaVJ=HcriEsYR=JDwOZtg-4TKX1vqUOE-6g@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000007fd3bc05b6e2da6b"
Subject: Re: [PHP-DEV] [RFC] Short-match
From: olleharstedt@gmail.com (=?UTF-8?Q?Olle_H=C3=A4rstedt?=)

--0000000000007fd3bc05b6e2da6b
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Sat, 19 Dec 2020, 02:48 Larry Garfield, <larry@garfieldtech.com> wrote:

> On Fri, Dec 18, 2020, at 1:40 PM, Olle H=C3=A4rstedt wrote:
> > What about matching on a variable's type?
> >
> > ```
> > match {
> >   $var: string =3D> "is a string"
> >   $var: array =3D> "something else"
> > }
> > ```
> >
> > This could be used with flow-sensitive typing, e.g. assume the type of
> $var
> > being string in the string block. Psalm works like this for
> if-statements.
> > Also consider the case with generics.
> >
> > Compare with generalised algebraic data types in FP (GADT).
> >
> > Olle
>
> That would be more along the lines of the pattern matching RFC that Ilija
> and I have been kicking around for post-enums:
> https://wiki.php.net/rfc/pattern-matching
>
> That's still in the "it would be cool if" stage only, and is IMO off topi=
c
> from the abbreviation effort in this RFC.
>
> --Larry Garfield
>

Very cool. Thanks for the link. Looking forward to further implementations!

Olle

--=20
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: https://www.php.net/unsub.php
>
>

--0000000000007fd3bc05b6e2da6b--