Haskell - コンテキストでの型の操作 - リストモナドとリスト内包 - guard関数, Control.Monad
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT5(コンテキストでの型の操作)、LESSON 32(リストモナドとリスト内包)、32.1(リストモナドを使ってリストを生成する)、クイックチェック 32-1の解答を求めてみる。
コード
sample2.hs
import Control.Monad
main :: IO ()
main = do
mapM_ (\xs -> putStrLn $ mconcat [show (filter even xs), "\n",
show (myFilter even xs), "\n"])
[[], [1], [2], [1 .. 10]]
myFilter :: (a -> Bool) -> [a] -> [a]
myFilter _ [] = []
myFilter f xs = do
x <- xs
guard(f x)
return x
入出力結果(Terminal, Zsh)
% runghc sample2.hs
[]
[]
[]
[]
[2]
[2]
[2,4,6,8,10]
[2,4,6,8,10]
%