December 3, 2021
You know pattern matching, but did you know that you can use the variable it introduces in the same boolean expression?
If you check whether the instance 'ðĻððĢððð' is of type 'ðððŦðĒð§ð ' with 'ðĻððĢððð ðĒð§ðŽððð§ðððĻð ðððŦðĒð§ð ðŽ',
you can start using 'ðŽ' straight away, for example to check whether it's non-empty with '&& !ðŽ.ðĒðŽððĶðĐððē()'.
This works in 'ðĒð' statements in ðððŊð ðð and in 'ðŽð°ðĒðððĄ' as a preview in ðððŊð ðð.