手続き型言語にはループと再帰がある。ループ構文を定義する方法がないから。

関数型言語には再帰がある。ループは定義できるから。
表現能力が同じで便利さも同じなら、primitiveは少ない方が良い。