>>60 どういう意味でしょうか
OCamlでlet recを使っても結果は変わりませんし
>>61 letが静的束縛であるのには元々異論は無いです

元はReal World Haskellを読んでて知ったんですが
let x=5
let f a =a+x
let g a=f a
let f a =a-x
let x=7
f 35
変数が動的束縛、関数が動的束縛なら28
変数が動的束縛、関数が静的束縛なら42
変数が静的束縛、関数が動的束縛なら30
変数が静的束縛、関数が静的束縛なら40
になるらしく
Haskellインタプリタでは変数は静的束縛、関数は動的束縛だそうです
schemeはどうなのかなと思って書いたコード
自信が無いので聞いてみました