関数型プログラミング言語Haskell Part34

**デフォルトの名無しさん** · 2024/04/14(日) 08:32:57.22

IOモナドの入力関数も、引数のない関数＝変数と捉えると、実質線形型と同じ。

let x = 0 in return (x + 1) >>= x -> print x

こうすると変数ｘはシャドーイングによって同名の別の変数が生成される。

getLineとかの入力関数はHaskell（数学）の外で初期化される変数とも考えられる。