練習問題 5.2.5

実は関数 
sortby
は，より一般的な以下の型を持つ関数 
sortwith
ほどには役に立たない． 



sortwith :: (a -> a -> Bool) -> [a] -> [a]

仕様としては，

sortwith compare xs

は以下を満たす

xs

を並び換えたysである．




and [compare x y | (x,y) <- zip ys (tail ys)]


sortwith

を用いて成績表のアルゴリズムを書き直せ． 新しいアルゴリズムではリストを逆転する必要がない理由を示せ．






sortwith f の逆順ソートは sortwith (flip f) であるから．．．