shinharad https://blog.hatena.ne.jp/shinharad/ shinharadの日記 https://shinharad.hateblo.jp/ Haskell この投稿は、Haskell Advent Calendar 2019 の4日目の記事です。STモナドの仕組みについて書きました。初中級者向けの内容となっています。 はじめに STモナドとは STモナドの型 STモナドの使用例 STモナドで使用されるデータ型と各種関数 Data.STRef newSTRef modifySTRef readSTRef runST 変更可能な参照を外へ持ち出そうとすると エラーメッセージから考察する forallの探求 量化子は型に量的な意味を持たせる 量化子を関数の内側で定義する ランクN多相の概要と特徴 ランクN多相の概要 特徴その1: 型推論の制限を緩和 特… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fshinharad.hateblo.jp%2Fentry%2F2019%2F12%2F04%2F000050" title="STモナドはなぜ変更可能な参照を外へ持ち出せないのか調べてみた - shinharadの日記" 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 2019-12-04 00:00:50 rich https://shinharad.hateblo.jp/entry/2019/12/04/000050 1.0 100%