型によるプログラミング 合成によるデザイン:SemigroupとMonoid 合成可能性:関数を組み合わせる any関数の独自実装
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON17(合成によるデザイン:SemigroupとMonoid)、17.1(合成可能性:関数を組み合わせる)、クイックチェック 17-1の解答を求めてみる。
コード
myAny :: (a -> Bool) -> [a] -> Bool
myAny testFunc = (foldr (||) False) . (map testFunc)
xs :: [Integer]
xs = [1 .. 10]
ys :: [Integer]
ys = [1, 3 .. 10]
zs :: [Integer]
zs = [1, 2, 3, 5, 7, 9]
nss :: [[Integer]]
nss = [xs, ys, zs]
main :: IO ()
main = do
print "even"
mapM_
(\ns -> putStrLn (show ns ++ " " ++ show (myAny even ns)))
nss
入出力結果(Terminal, Zsh)
% runghc sample01.hs
"even"
[1,2,3,4,5,6,7,8,9,10] True
[1,3,5,7,9] False
[1,2,3,5,7,9] True
%