On Sat, 19 Dec 2020, 02:48 Larry Garfield, <la...@garfieldtech.com> wrote:
> On Fri, Dec 18, 2020, at 1:40 PM, Olle Härstedt wrote: > > What about matching on a variable's type? > > > > ``` > > match { > > $var: string => "is a string" > > $var: array => "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 topic > from the abbreviation effort in this RFC. > > --Larry Garfield > Very cool. Thanks for the link. Looking forward to further implementations! Olle -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: https://www.php.net/unsub.php > >