世界一わかりやすいStateモナドのしくみ、あるいは猫でもわからないモナドのおはなし - Qiita

この記事は、 HaskellとかPureScriptみたいな関数指向言語をさわってみたことがある Haskellっぽい記法がちょっとわかる(説明はします) モナドを理解しようと頑張ったことがある カリー化の意味はわかる 嘘タイトルでもおこらないよ みたいなひとを対象にしています。おこらないで。 何故今さらモナド？ 世の中の全てがモナドになって久しい今でもモナドわかんないってひとが多いみたいなので備忘録がてらまとめることにしました。 聞かれた時にすぐ答えられるように考えをまとめる意図もあります。 厳密な話は一切しないので、基本的に説明不足だと思いますけど、そういうのは理解してから覚えればいいと思うのでゆるして。 ようご a, b, c, d 任意の型を指します。よくIntとかStringになります。 a -> b 関数です。型aの値を入れると型bの値を返す関数です。 (a, b) タプルです

[lotz84]

Stateモナドの型を(a, s) -> (b, s)って書くと分かりやすいなぁ