>>677
Scheme の出自としては制御を第一級継続 (の前身であるアクタ) の概念で定義できるのではないかというところから始まってる。
http://ja.wikipedia.org/wiki/Scheme#.E6.A6.82.E8.A6.81
だから強いて言うなら継続を基礎としてフォーマルな意味論を付けられていることが Scheme の利点と言えば利点なんじゃないかな。

数学なんかでも 1+1=2 を自明なものとしてではなくより根源的な概念の上に定義しようとしたりしてるでしょ。
物理でも原子こそが最小の要素と言ってたところから、それの構成要素である原子核と電子、
更には陽子と中性子という構成要素を見付けたと思ったら今度は素粒子とか言ってる。

もちろん構成要素が何かにかかわらず原子は原子なのだし、
原子ベースで構築された理論が大幅に変わったりもしないわけだけど、
理論的裏付けがあるとその上に載せるものがどうあるべきかが自然にわかってくる。