型によるプログラミング 合成によるデザイン:SemigroupとMonoid 合成可能性:関数を組み合わせる
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON 17(合成によるデザイン:SemigroupとMonoid)、17.1(合成可能性:関数を組み合わせる)、クイックチェック 17-1の解答を求めてみる。
コード
lesson/app/Main.hs
module Main where
import Lib (myAny)
main :: IO ()
main = do
print $ myAny even [1 .. 5]
print $ myAny odd [1 .. 5]
print $ myAny even [1, 3, 5, 7, 9]
print $ myAny odd [2, 4, 6, 8, 10]
lesson/src/Lib.hs
module Lib
( myAny,
)
where
myAny :: (a -> Bool) -> [a] -> Bool
myAny testFunc = foldr ((||) . testFunc) False
入出力結果(Terminal, Zsh)
% stack exec lesson-exe
True
True
False
False
%