計算機科学のブログ

コンテキストでの型の操作 Monad型クラス リストモナドとリスト内包 リストモナドを使ってリストを生成する guard関数

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON32(リストモナドとリスト内包)、32.1(リストモナドを使ってリストを生成する)、guard関数、クイックチェック 32-2の解答を求めてみる。

コード

import Control.Monad (guard)

myFilter :: (a -> Bool) -> [a] -> [a]
myFilter f xs = do
  x <- xs
  guard $ f x
  return x

xs :: [Integer]
xs = [1 .. 10]

main :: IO ()
main = do
  mapM_
    print
    [ filter even xs,
      myFilter even xs
    ]

入出力結果(Terminal, Zsh)

% runghc sample02.hs 
[2,4,6,8,10]
[2,4,6,8,10]
%