関数型言語は副作用の問題を勘違いしている。
人間は状態機械を把握できる。問題は以下に構造化して把握するか。
その視点が致命的にない。