異種基準を比較したマップ

Question

mconcat (map comparing [length, last, id]) "abc" "def" 

これはもちろん型チェックしません。このリストには、同じドメインから異なるコードドメインへの関数が含まれています。しかし、その意図がはっきりしていることを願っています。注釈や別の回避策を入力することができますか？

Answer 1

それは限り、あなたは、リスト内の関数を入れていない気にしないよう、非常にスムーズに行く：

GHCi> :t comparing length <> comparing last <> comparing id 
comparing length <> comparing last <> comparing id 
    :: Ord a => [a] -> [a] -> Ordering 
GHCi> (comparing length <> comparing last <> comparing id) "abcd" "abc" 
GT 
GHCi> (comparing length <> comparing last <> comparing id) "abd" "abc" 
GT 
GHCi> (comparing length <> comparing last <> comparing id) "aac" "abc" 
LT 

この機能のためのモノイドインスタンス（結果に対するモノイド）と、いずれかの両方を利用Ordering（これはthe intuitvely obvious thingです）。

{-# LANGUAGE GADTs #-} 

data Measurement a where 
    Measurement :: Ord b => (a -> b) -> Measurement a 

comparingHet :: Measurement a -> a -> a -> Ordering 
comparingHet (Measurement f) = comparing f 

：あなた 本当にはあなたが実存タイプにアピールすることができ、リストをしたい場合は、 comparingに与える投影関数の結果の型は、実際に、最終的な結果に表示されていないことを考えると

GHCi> criteria = [Measurement length, Measurement last, Measurement id] 
GHCi> mconcat (comparingHet <$> criteria) "aac" "abc" 
LT