> Erlang-style pattern matching would be nice but I can't say I'm hurting for its absence.

My memory is hazy, but doesn't Erlang have unification rather than pattern matching? If so that seems quite harder to get than "plain" pattern matching (i.e. copying the Scala model with user defined extractors)

EDIT:

it seems it's plain pattern matching.