I came here to say exactly this, glad to see it already mentioned. I will point out though that the destructuring aspect of pattern matching predates ML slightl

I came here to say exactly this, glad to see it already mentioned. I will point out though that the destructuring aspect of pattern matching predates ML slightly with the introduction of prolog, but the mixed in/out modality paradigm of prolog's pattern matching is sufficiently distinct from ML's that ML probably deserves the credit for influencing so many modern languages.