You got any links to share on this? I'm doing a bit of academic study on the subject of pattern matching in OOP.
Chapter 3, Objects and Patterns
Oberon-2 type guards, which are basic but still have the same idea somehow, https://cseweb.ucsd.edu/~wgg/CSE131B/oberon2.htm
Modula-3 type case, https://www.cs.purdue.edu/homes/hosking/m3/reference/typecas...