計算機科学のブログ

コンテキストでの型の操作 Monad型クラス ApplicativeとFunctorの制限 <$>の汎用バージョンのallFmapM関数、ラムダ、return

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON30(ApplicativeとFunctorの制限)、30.5(練習問題)Q30-1の解答を求めてみる。

コード

allFmapM :: Monad m => (a -> b) -> m a -> m b
allFmapM f x = x >>= \x -> return $ f x

main :: IO ()
main = do
  print $ allFmapM (* 2) [1 .. 10]
  print $ allFmapM show [1 .. 10]

入出力結果(Terminal, Zsh)

% runghc sample1.hs
[2,4,6,8,10,12,14,16,18,20]
["1","2","3","4","5","6","7","8","9","10"]
%