I'm not clear what you're asking here. It sounds to me your asking the difference between a table and a chair. Pattern matching is syntactic sugar for extracti

I'm not clear what you're asking here. It sounds to me your asking the difference between a table and a chair. Pattern matching is syntactic sugar for extracting values from a pattern. In a statically typed language the compiler has the option of forcing the user to handle every possible type permutation with a pattern thus ensuring safety. Polymorphism is just a generic type. That's as far as I know... could you elaborate more on what you mean?