Haskell - 型によるプログラミング - 合成によるデザイン:SemigroupとMonoid - 単位元による合成
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT3(型によるプログラミング)、LESSON 17(合成によるデザイン:SemigroupとMonoid)、17.3(Monoid:単位元による合成)、クイクックチェック 17-4の解答を求めてみる。
コード
sample4.hs
main :: IO ()
main = do
mapM_ (\n -> print $ n <> mempty) [1 .. 10]
mapM_ (\n -> print $ mempty <> n) [1 .. 10]
instance Semigroup Integer where
(<>) :: Integer -> Integer -> Integer
(<>) = (*)
instance Monoid Integer where
mempty :: Integer
mempty = 1
入出力結果(Terminal, Zsh)
% runghc sample4.hs
1
2
3
4
5
6
7
8
9
10
1
2
3
4
5
6
7
8
9
10
%