sshi https://blog.hatena.ne.jp/sshi/ sshi.Continual https://sshi.hatenadiary.org/ haskell モナドの合成はさっぱりわからないままだったので、試しにReaderモナドとWriterモナドの合成をやってみた。リーフは数値、ブランチにはラベルがついてる木構造データを対象に、 木構造データのリーフの合計を求める関数 さらに、Writerモナドを使って足したリーフの数字を順番にログにとる関数 さらに、Readerモナドを使って親のラベルもログに取る関数 の順番で変更が少ないように実装してみたつもり。それぞれmain1,main2,main3に対応する。これでちゃんと動く理屈はあまりちゃんとわかってない。わかったら後で書く。 以下ソース data T = B String [T] | L Int… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsshi.hatenadiary.org%2Fentry%2F20071130%2Fp1" title="もなもなモナド ReaderモナドとWriterモナドの合成 - sshi.Continual" 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 2007-11-30 00:00:00 rich https://sshi.hatenadiary.org/entry/20071130/p1 1.0 100%