morning_reading https://blog.hatena.ne.jp/morning_reading/ 毎朝30分読書会 https://morning-reading.hatenadiary.org/ 最終章「プログラムの論証」の練習問題です。ついに最後です。 9. 以下の型が与えられているとする data Tree = Leaf Int | Node Tree Tree この木の葉の個数は、節の個数よりも、常に1多いことを示す まず葉の個数を数える関数 countLeaf と、節の個数を数える関数 countNode を定義する countLeaf :: Tree -> Int countLeaf (Leaf _) = 1 countLeaf (Node l r) = (countLeaf l) + (contLeaf r) countNode :: Tree -> Int countNo… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmorning-reading.hatenadiary.org%2Fentry%2F20110615%2Fp1" title="プログラミング Haskell 第13章 プログラムの論証 練習問題 その4 - 毎朝30分読書会" 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 2011-06-15 00:00:00 rich https://morning-reading.hatenadiary.org/entry/20110615/p1 1.0 100%