Achatando listas aninhadas do mesmo tipo

Digamos que eu queira achatar listas aninhadas do mesmo tipo ... Por exemplo

<code>    ListA(Element(A), Element(B), ListA(Element(C), Element(D)), ListB(Element(E),Element(F)))
</code>

ListA contém lista aninhada do mesmo tipo (ListA(Element(C), Element(D))Então eu quero substituí-lo com os valores que ele contém, então o resultado do exemplo superior deve ser assim:

<code>ListA(Element(A), Element(B), Element(C), Element(D), ListB(Element(E),Element(F)))
</code>

Hierarquia de classe atual:

<code>abstract class SpecialList() extends Exp {
    val elements: List[Exp]
}

case class Element(name: String) extends Exp

case class ListA(elements: List[Exp]) extends SpecialList {
        override def toString(): String = "ListA("+elements.mkString(",")+")"
}

case class ListB(elements: List[Exp]) extends SpecialList {
        override def toString(): String = "ListB("+elements.mkString(",")+")"
}

object ListA{def apply(elements: Exp*):ListA = ListA(elements.toList)}
object ListB{def apply(elements: Exp*):ListB = ListB(elements.toList)}
</code>

Eu fiz três soluções que funcionam, mas acho que tem que haver uma maneira melhor de conseguir isso:

Primeira solução:

<code>def flatten[T <: SpecialList](parentList: T): List[Exp] = {
        val buf = new ListBuffer[Exp]

        for (feature <- parentList.elements) feature match {
            case listA:ListA if parentList.isInstanceOf[ListA] => buf ++= listA.elements
            case listB:ListB if parentList.isInstanceOf[ListB] => buf ++= listB.elements
            case _ => buf += feature
        }
        buf.toList
    }
</code>

Segunda solução:

<code>def flatten[T <: SpecialList](parentList: T): List[Exp] = {
    val buf = new ListBuffer[Exp]

    parentList match {
        case listA:ListA => for (elem <- listA.elements) elem match {
                                case listOfTypeA:ListA => buf ++= listOfTypeA.elements
                                case _ => buf += elem
                            }

        case listB:ListB => for (elem <- listB.elements) elem match {
                                case listOfTypeB:ListB => buf ++= listOfTypeB.elements
                                case _ => buf += elem
                            }
    }

    buf.toList
}
</code>

Terceira solução

<code>def flatten[T <: SpecialList](parentList: T): List[Exp] = parentList.elements flatMap {
    case listA:ListA if parentList.isInstanceOf[ListA] => listA.elements
    case listB:ListB if parentList.isInstanceOf[ListB] => listB.elements
    case other => List(other)
}
</code>

Minha pergunta é se existe alguma maneira melhor e mais genérica de obter a mesma funcionalidade, pois em todas as três soluções superiores há repetição de código?

questionAnswers(3)

yourAnswerToTheQuestion