ScalaだってList使えばパターンマッチはできる
クイックソート程度じゃHaskellの型推論の方がすごいねーくらいの結論しか出せないと思う