ちょっと時間差だが関数型について。

関数型が人間の思考に沿ったものかどうか、というのは分からんが、
「あるべきプログラミングの姿」であることは確かだと思う。

特にHaskellのような「純粋」と呼ばれる関数型言語は、参照透明性を
保証しているわけだけど、これはプログラミングのあるべき姿の最も
重要な点じゃないかね。

また、関数型は「宣言的」だ。この点も、命令を順序正しく記述する
言語よりもプログラミングのあるべき姿に近い。

JavaはもうWeb系などでは過去の言語になりつつあると思うけど、
その後継者と言われているRubyやPythonは関数型に近い書き方が
できるようになっている。