>>640
そういう見方もあるね。

>正確には副作用が無いわけじゃなくて、隔離してると言った方が正しい。

よく見るHaskellの解説では、単なる隔離にとどまらず、
（少なくともHaskellの世界内では）完全に純粋な関数
であると主張してるように見えるが？
残念ながらこの点に関して詳しくは知らないので議論は
出来ないが。

あと、継続の中味自体が関数型であろうがなかろうが、他の部分（
継続が引数になってるところや、関数が関数の引数になってるところなど
）が関数型的だと思う。