21

私は興味があり、Haskell でこのような提案を見つけることができませんでした。sortと書かれていましたが、そうではないと考えてくださいsortBy。 

sortBy :: forall a. (a -> a -> Ordering) -> [a] -> [a]
sortBy f = map getX . sort . map X
    where
    newtype X = X { getX :: a }
    instance Ord X where
        compare (X a) (X b) = f a b

この提案を見た人はいますか？

4

1 に答える 1

1

どうやら、ローカル インスタンスは Haskell Prime メーリング リストhttp://web.archiveorange.com/archive/v/eKcS7T2qBpy7czBE2Jeiで簡単に議論されており、Oleg の論文「Functional Pearl: Implicit Configurations」の第6 章でより完全に議論されています。ただし、ローカル データ宣言についてはほとんど聞いたことがありません。

于 2013-03-10T21:22:16.750 に答える