関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上
下
前
次
1-
新
358
: 2024/09/08(日)00:17
ID:m7MeNrY2(1)
AA×
[
240
|
320
|480|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
358: [] 2024/09/08(日) 00:17:59.58 ID:m7MeNrY2 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化できますか？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/358
なんちゃらかんちゃら をなんちゃらかんちゃら なんちゃらかんちゃら このモナドはは状態へ挿入される時はでしょうが直後の行で完全に評価されています この事はマップに挿入されたへ影響を与えますか つまりマップへ挿入済みのサンクとしての値を後からととを組み合わせて狙ったタイミングで化できますか？
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 309 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.037s