yts https://blog.hatena.ne.jp/yts/ One of the Eight Stones https://yts.hatenadiary.org/ Haskell 探索とは、まず解の候補を葉とする木を作って*1、それからその木の枝をあるアルゴリズムで辿って解を発見することである*2。リストによるバックトラックを利用した探索は、木を作る端から全部フラットにして深さ優先探索をしているのである。探索アルゴリズムを分離して、探索木だけをモナドにしてしまおう。例えば、引数mkでモナドを切替えられる探索木生成関数 test01 mk = do x <- mk [1, 2] if x == 2 then return 100 else do y <- mk [3,3] return yは、リストだと *Monad.TestTree> take 5 $ test01 i… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyts.hatenadiary.org%2Fentry%2F20050118%2Fp1" title=" Tree Monad - One of the Eight Stones" 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 2005-01-18 00:00:00 rich https://yts.hatenadiary.org/entry/20050118/p1 1.0 100%