>>583
ある種の直観には反するのかもね。
しかし、プログラム意味論なんかは圧倒的に簡単だよ。
誰でも習う数学(数式)により近いという利点もあるし、、
結局は最初になにをやるかってだけのことではないかと思う。

x = x + 1 と、
natural_numbers = 1 : map (+1) natural_numbers
のどっちが難しいのか。