Otter_O https://blog.hatena.ne.jp/Otter_O/ 取り急ぎブログです https://otter-o.hatenadiary.org/ Haskell ST Monad 少し前に巷ではやったSTのことを勉強してみました。原典のLazy Functional State Threadsをかじってみました。僕はStateモナドはなんとなく自分でかけるくらいまで理解していたのですが、STは使ったこともないし、いったい何物なんだかぜんぜん知りませんでした。Stateモナドは要するに関数なわけで State s a = State \s -> (a, s)ということはStateモナド系のKleisli関数がバインドされる図は乱暴な見方をすればこうゆう絵柄になるわけです。runState (\s -> (a, s') >>= \a s -> (b, s') >>= \b … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fotter-o.hatenadiary.org%2Fentry%2F20100616%2F1276680518" title="STはState Transformerとは言うけれど - 取り急ぎブログです" 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 2010-06-16 18:28:38 rich https://otter-o.hatenadiary.org/entry/20100616/1276680518 1.0 100%