IT戦記

プログラミング、起業などについて書いているプログラマーのブログです😚

モナド

ほんのちょっとけ分かったかも

環境という引数を省略する形なのかな?
環境が変われば値も変わる。
環境という値を引数として与えているならば、毎回値が変わるのも参照透過と言い切れる。

本来はこういうもの?

f :: a -> Env -> Env

でも、これだと Env だらけになっちゃうからモナド使おうみたいな