参照透過性と副作用についての提言 - Qiita

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 背景、あるいは事実 ［1］http://www.cs.indiana.edu/~sabry/papers/purelyFunctional.ps および ［2］http://www.cs.nott.ac.uk/~pszgmh/faq.html#purity が端的で分かりやすいかと思います。（副作用の定義はまた諸論あるかもしれませんが。） ・標語的に「関数を評価した時の＜値＞が変わらない」という性質を持つ関数は、純粋関数である、という。純粋、というのは初等数学の関数の意味での関数との対比から。 ・これをきちんと述べる為に、「ある（関数型

[knstkny]

]

[peketamin]

コメントが伸びてる

[sky-y]

Haskell好きを自称しておきながら、未だに「IOモナドが副作用を持たない」っていう理屈が理解できないんだよな。だって、入出力って明らかに副作用じゃん、といつも思う。