zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml Algebraic Effects OCaml Effect TutorialのStateの実装の話を見ていく。これはEffect.DeepとEffect.Shallowの違いを紹介するセクションの例題： github.com 実際に示されているコードはHaskellでいうところのReaderモナドに似たもので、Stateを読むGetは定義されているがPutは定義されていない（Putの定義は演習問題）。 そのGetだけの例題からモジュールのopenを無くし、handlerを明示的に変数束縛するようにしたコード： module type STATE = sig type t val get : unit -> t val run … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F12%2F26%2F223323" title="OCaml Effects Tutorialの例題「Stateの実装」を追ってみる - Arantium Maestum" 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 2022-12-26 22:33:23 rich https://zehnpaard.hatenablog.com/entry/2022/12/26/223323 1.0 100%