I don't know what the language of the future will be but I can't imagine it not having an ML heritage.
That said, the language with the most powerful pattern matching engine I've used so far has been Erlang. Just about everything there is intimately tied to it, giving it a homoiconicity between the code and the literal data types. You can even pattern match on binary formats, like file headers or packet structures.
It seems like Algol-like languages are slowly absorbing lessons from ML. Rust is quite an evident example.