The more I work with pattern matching, the less I like it. Patterns make for succinct code that's nice to read and convenient to write, but: (1/3)
Show this thread
-
Also, you need exhaustiveness checking. In a typed language, this is absolutely not optional. But it's intractable in the general case! Recursion schemes are sound, abstract, and checked with ordinary types. Right now I'm definitely preferring catamorphisms to patterns. (3/3)
Show this thread
But catamorphism has the same problem. Have you looked at some of the ways to deal with the expression problem?
