>>684
入出力もしてはならない。

>>685
計算機の状態を引数とすれば可能。
ただし、その「計算機の状態」は当然複製できないし、してはならない。
これがIOモナドやCleanのuniqueness typingがやっていること。

# ただ、Cだって全ての関数が暗黙にWorldを取っていると考えれば関数型だ。
# そんなことを言ってもなにも得しないけれど。