generated at
副作用
side effects


薬の話
薬を服用する主目的は、ある課題を解決するための効用を得たいから
それに伴う、この文脈では特にネガティブな作用が副作用
「この風邪薬はすごくよく効くけど、服用したら眠くなるよ」
眠くなるのがダルい、これが副作用


状態の変化、も副作用らしい
なんで #??
なので再代入を許容すれば副作用あり、になる
>State は状態をエミュレートしているだけであって、実際に状態を持っている訳ではない。


なんで入出力は副作用？
>ある関数の型に IO が含まれていれば、その関数には入出力という副作用がある。逆に、IO という型がまったくなければ、その関数は純粋である。ref
>IO から純粋な関数を呼べるが、その逆はできない。


>@khibino: "型に現れるのが「主作用」、現れないのが「副作用」と呼びたい。
>IO が結果の型に現れているということは純粋なんです。
>IO が結果の型に現れてないのに IO が起きるときに「副作用」があると言うんですよ。"