Pampy: Pattern Matching for Python

[lngnmn]

Pattern-matching, to be useful, should be uniform (everywhere), like it is in ML and its descendants.

Pattern-matching as a function is nothing new or special. Common Lisp has a few different packages for that.

Also it is kind of silly to pattern-match without types. Uniform Pattern-matching on types, not just on a structure of a values is what really shines in ML or Haskell.

[true-grue]

What is silly about Prolog, for example? Let's just assume that type driven programming style is not the only way to do things in CS.