おそらくループを再帰の一種に還元することを嫌う人は、
単純に具象構文が身体感覚に合致するかどうかを問題
にしているんだと思う。

Schemer/Lisperは構文問題に頓着しないので、
ループを再帰に置き換えるし、むしろ積極的にループなど
再帰の一種に過ぎないと「抽象化」する。

しかし、構文問題に頓着する人もいるわけ。
だからSchemeやＬｉｓｐの普及は一定以上のものにならない。

よくC言語はソースコードとマシンコードのギャップが少ない、
という評価のされ方をするね。

関数型言語の場合はソースコードと本質的なアルゴリズムの
ギャップが少ないという評価でいけるんじゃないかな。で、問題
を解決するときに「この問題の本質は何か？」を追求するので
はなく、本質的かどうかは問わず、手作業でやるときの方法を
素直に機械処理化するという方法論の人もいるんだな。そうい
う方法論の人の場合、ソースコードと自分の身体感覚のギャッ
プの少ないことが重要なんだと思う。

Perlなんかは、身体感覚重視で、だから科学的な発想の人か
ら嫌われるんだと思うし、身体感覚派の人からも、身体感覚的に
合わないと嫌われるんだと思う。