（意訳）
一般には副作用と捕らえる事柄を、作用の概念のみを用いて表せるように
した言語を純関数型ということがある。

（Haskellは一般には副作用となるような言語すら副作用ではなく扱える
完全に純粋な関数型である）