bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ Haskellプログラミング講座（中級編） １．長さを帰納的に表現した注釈つきリスト 元に戻って、リストの長さを整数ではなく帰納的表現でのリストの生成法を考える。最初に自然数Natを代数的データ型で定義する。 data Nat n = Z | S (Nat n) deriving Show ここで、Zは自然数の始まりを示し、S (Nat n)は自然数(Nat n)の次の自然数を表す。Natは型コンストラクタ、nは型引数、ZとSは値コンストラクタである。次に、自然数を実際の整数に対応させるために関数toIntを用意する。 toInt :: Nat n -> Int toInt Z = 0 toInt (S n) = 1 + (toInt … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2014%2F09%2F21%2F064920" title=" オペレーショナル・モナドで天国と地獄を行ったり来たり（３） - bitterharvest’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2014-09-21 06:49:20 rich https://bitterharvest.hatenablog.com/entry/2014/09/21/064920 1.0 100%