>>839
＞計算モデルとしてチューリングマシンを選べば「書き込み＋ヘッド移動の概念が
＞出てこざるを得ない」でしょ。
んで、そのチューリングマシンと等価な言語の導出規則はどうなるの？

＞繰り返し動作を実装する時に
＞functionalなパラダイムでは再帰が自然だし
＞impericalなパラダイムではループが自然だっていう

impericalってのはimperativeのことかな。
何でも良いが、再帰の出てこない意味論があったら教えてくれ。

＞それだけの話でしょ？なんで普遍的にどっちかに統一せにゃならんの？
別に（形を）統一しろとは言ってない（と何度も言ってる）。
forやdoが好きなら使えばよろしい。
再帰さえあればループという「形」は簡単に作れるからprimitiveからは除
いても差し支えないと言っているだけ。