関数型プログラミング言語Haskell Part34 (667レス)
上
下
前
次
1-
新
631
(1)
:
警備員[Lv.1][新芽]
01/08(水)22:25
ID:lvne7rNk(1)
AA×
[240|
320
|
480
|
600
|
原寸
|
JPG
|
べ
|
レス栞
|
レス消
]
631: 警備員[Lv.1][新芽] [sage] 2025/01/08(水) 22:25:29.83 ID:lvne7rNk 初学者のため、言葉の定義があいまいな部分はご容赦ください IOモナドの純粋性についてですが(すでに言葉があやしい)、 実際に副作用が起こるのは、mainに束縛され実行されたり、ghciプロンプトからアクションを投入したときで アクションを生成するまでは同じ入力に対してはつねに同一のアクションを出力するという意味で純粋であるという理解でよいでしょうか(まだ実行前なので、副作用は生じていない) アクションを生成するまでが純粋 ただ、このときの純粋性の有り難みがさっぱり分からず… 純粋な関数が遅延評価などに有効なことや、副作用のある処理が >>= などで順序を拘束しなければならないことは分かるのですが http://mevius.5ch.net/test/read.cgi/tech/1639713446/631
初学者のため言葉の定義があいまいな部分はご容赦ください モナドの純粋性についてですがすでに言葉があやしい 実際に副作用が起こるのはに束縛され実行されたりプロンプトからアクションを投入したときで アクションを生成するまでは同じ入力に対してはつねに同一のアクションを出力するという意味で純粋であるという理解でよいでしょうかまだ実行前なので副作用は生じていない アクションを生成するまでが純粋 ただこのときの純粋性の有り難みがさっぱり分からず 純粋な関数が遅延評価などに有効なことや副作用のある処理が などで順序を拘束しなければならないことは分かるのですが
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 36 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.029s