GHCを入れてこのへんを読む。凄ぇ…。型推論で定義が一般化してる。
クイックソートの定義が、
quicksort [] = []
quicksort (x:xs) = quicksort [y | y <- xs, y < x ]
++ [x]
++ quicksort [y | y <- xs, y >= x ]
で終わるらしい。|が写像内包？で、<-が生成、,以降がその条件。x:xsは引数のパターンマッチング。[]は空リスト。ただ、これやと比較演算子が一般化されてへんから数にしか適用できん気がするが。
