計算機科学のブログ

関数型プログラミング

型によるプログラミング 合成によるデザイン:SemigroupとMonoid Semigroup:似ている型を組み合わせる <>演算子、Integer、+演算子、結合律

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT3(型によるプログラミング)、LESSON 17(合成によるデザイン:SemigroupとMonoid)、17.2(Semigroup:似ている型を組み合わせる)、クイックチェック 17-3の解答を求めてみる。