riemann1618 https://blog.hatena.ne.jp/riemann1618/ logicoffee プログラミング勉強日記 https://logicoffee.hatenablog.com/ Haskell 本記事の目的 解説 Stateモナドの定義 ひとつの補題 コードを読み解いていく まずは部分的に そして全体へ まとめ 本記事の目的 Stateモナドの挙動を定義から導出したい. それが本記事の目標です. Stateモナドについて調べると, いくつかの記事がヒットします. そこではStateモナドの使い方として以下のようなサンプルコードが引き合いに出されることが多いでしょう. import Control.Monad.State pickHead :: State [Int] Int pickHead = do x:xs <- get -- 状態(整数のリスト)を取得 put xs -- 先頭… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Flogicoffee.hatenablog.com%2Fentry%2F2018%2F10%2F24%2F155858" title="HaskellのStateモナドを定義から理解する - logicoffee プログラミング勉強日記" 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 2018-10-24 15:58:58 rich https://logicoffee.hatenablog.com/entry/2018/10/24/155858 1.0 100%