haskellとかにパターンマッチあるじゃん？

fib 0 = 1
fib 1 = 1
fib n = fib (n-1) + fib (n-2)

みたいなやつ

計算量とか無視してあれをもっと強力にしたら面白くね？

haskell だとリストが x:xs みたいなパターンマッチできるけど
xs ++ [a] ++ ys ++ [a] ++ zs (同じ要素を２つ含むリストにマッチ)
みたいなのもできるようにするとかどうなん？