>>664
ディターミニスティック
決定論的な

IOが絡む非決定論的なコードと、引数と戻り値の関係が決まっている決定論的なコードとを、
しっかり分けて書けるようになったと言いたいのだろう。

要するに、副作用のあるコードと純粋なコードを分けるということだ。