pure

入力が同じであれば関数が常にまったく同じ出力を生成し、副次的影響をもたらさない (可変の変数や IO エフェクトなどに書き込む) ことを宣言します。