>>621
環境＝ローカルな変数（あるいはバインド）とリターンアドレス（あるいは継続）をまとめたもの
と仮定するなら，環境をスタックに積む実装は，
「関数を呼び出す→関数内→関数から戻る」という概念を持った殆どの言語に見られるんじゃないかな
上の概念を「関数へジャンプ→関数内→関数からジャンプ」と考えるSchemeのような言語の場合は分からんが