関数型言語ってのは数学的に純粋な関数をあつかうのに手厚い支援がある言語って
ことだと思うな。

関数型プログラムってのは数学的に純粋な関数だけで記述されたプログラムの
ことだと思うな。

だから、たとえ Scheme で書かれていても副作用を使っているプログラムを
関数型だと認めたくはないな。

そして、継続も while も数学的に純粋な関数ではないから、あのプログラムを
関数型だと認めたくはないな。