>>341
突き詰めれば同じことだと思うけど……
伝統的には1.だよね。
2.の意味だと、closureという言葉が意味を失うから。
closureとclosureでないものを区別する必要がなくなるからね。
R5RSでも、「lamda式は手続きに評価される。
lambda式が評価されるときに有効な環境は手続きの一部として
記憶される。」（以下評価時の手順）と、ニュアンス的には1な感じだね。