Сопоставление шаблонов с конъюнкциями (PatternA и PatternB)

Scala имеет функцию языка для поддержки дизъюнкций в сопоставлении шаблонов ("альтернативы шаблонов"):

x match {
    case _: String | _: Int => 
    case _ =>
}

однако мне часто нужно запускать действие, если проверка удовлетворяет PatternA и PatternB (соединение.)

Я создал комбинатор шаблонов'&&', который добавляет эту возможность. Три маленькие строчки, которые напоминают мне, почему я люблю Scala!

// Splitter to apply two pattern matches on the same scrutiny.
object && {
  def unapply[A](a: A) = Some((a, a))
}

// Extractor object matching first character.
object StartsWith {
  def unapply(s: String) = s.headOption
}

// Extractor object matching last character.
object EndsWith {
  def unapply(s: String) = s.reverse.headOption
}

// Extractor object matching length.
object Length {
  def unapply(s: String) = Some(s.length)
}

"foo" match {
  case StartsWith('f') && EndsWith('f') => "f.*f"
  case StartsWith('f') && EndsWith(e) && Length(3) if "aeiou".contains(e) => "f..[aeiou]"
  case _ => "_"
}

вопросы для обсуждения

1. существует ли способ чтобы сделать это?
2. есть проблемы с этим подходом?
3. может ли этот подход создать какие-либо другие полезные комбинаторы? (например, Not)
4. должен ли такой комбинатор быть добавлен в стандартную библиотеку?

обновление Меня только что спросили, как компилятор интерпретирует case A && B && C. Это шаблоны операторов инфикса (раздел 8.1.9 ссылки Scala). Вы также можете выразить это с помощью стандартных закономерностей (8.1.7) как &&(&&(A, B), C).' Notice how the expressions are associated left to right, as per normal infix operator method calls like Boolean#&&inval b = true & & false & & true`.