再帰の代わりにマップを使用

Question

リストを取り、各要素の値がavgより高いかどうかをチェックして、その場合はval - avgを出力します。私はすでに再帰でそれを実装しました、私はmap関数を使用するためにそれを変換したいと思います。

loop [] = return() 
loop (x:xs) 
     | x > average = print (x - average) >> loop xs 
     | otherwise = loop xs 

任意の提案？

Answer 1

loopの各ステップは、リストの各要素から印刷アクションを生成し、残りの要素と組み合わせる（(>>)を使用）という2つのことをすぐに行います。 loopをmapとして記述したい場合は、これら2つのサブステップを解消する必要があります。たとえば、あなたは...

printDiffIfAboveAvg :: Double -> IO() 

を関数を定義することができます...そしてmap printDiffIfAboveAvgと、リストのすべての要素に適用します。それはあなたが、単一の全体的な行動に結合する必要がありますタイプ[IO()]のアクションのリストが表示されます：

runAllActions :: [IO()] -> IO() 

runAllActionsはすでにsequence_と呼ばれる、より一般的なバージョンでは、ベースライブラリに存在します。

を

sequence_ :: (Foldable t, Monad m) => t (m a) -> m() 

だからloop = sequence_ . map printDiffIfAboveAvgになります。実際には、sequence_とmapのまさにこの組み合わせを行う基地ライブラリ内の別の関数...

mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m() 

は...もあります。