関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新

---

358: 2024/09/08(日)00:17 ID:m7MeNrY2(1) AAS
loop s なんちゃらかんちゃら
= do
　let　final_score = long_thunk_score + s
　　　s' = sをなんちゃらかんちゃら
　modify' $ Data.Map.Strict.insert key final_score
　unsafePerformIO ( evaluate $ rnf final_score ) `seq` loop s' なんちゃらかんちゃら

このStateモナドは、final_scoreは状態Mapへ挿入される時はWHNFでしょうが、直後の行で完全に評価されています
この事はマップに挿入されたfinal_scoreへ影響を与えますか?
つまりマップへ挿入済みのサンクとしての値を後からUnsafePerformIOとevaluateとrnfを組み合わせて狙ったタイミングでRNF化できますか？

---

上下前次1-新書関写板覧索設栞歴

---

あと 309 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.007s