While pattern matching is one of my favorite things about OCaml, I'm not sure this fits well in Python. A <i>big</i> part of Python is trying to keep the language from being all things to all people and accumulating esoteric cruft, especially in the syntax. If I ran the zoo, I would have probably chosen a slightly different subset of features for Python, but I have a lot of respect for Guido's intent.<p>Also, doing anything by overloading arithmetic operators for a semantically unrelated purpose tends to be pretty disharmonious with the rest of the language. The only exception I can think of is Lua's LPEG (<a href="http://www.inf.puc-rio.br/~roberto/lpeg/lpeg.html" rel="nofollow">http://www.inf.puc-rio.br/~roberto/lpeg/lpeg.html</a>), but that's a specific sub-language that tends to be clearly isolated to grammars; in practice, it's usually as distinct as using * within regular expression strings.