18 Nov
2020
18 Nov
'20
2:19 a.m.
Is there a bestiary of examples for the current pattern matching proposal(s)? It seems I don't have a good handle on how one matches simple tests like callability, function signatures, possession of specific attribute(s).....etc. Also will matching ever extend into the Typing universe? -- Robin Becker