Gsp/spスタックの完全な意味論

YOYUでは、gsp/spスタックを通じて構文スコープに沿った環境管理とメモリ再利用を両立させている。このスタックはフレームごとにリファレンスカウンタを持ち、動的に分岐・共有される。

初期状態

スタックは空から始まり、spが新しい関数適用のたびに、refcount=1のフレームを積んでいく。このときgspはspに追従し、今後の安全なスタック拡張位置を示す。

spが縮むとき、現在のフレームのrefcountが1であれば破棄される。このとき、gspもそれに従って縮小される（メモリ再利用可能に）。

クロージャが生成されると、spの親チェーンに対してrefcountを再帰的に+1する。これにより、そのクロージャが生きている限り、該当スコープは保持される。

spが縮んでも、refcountは1に減るだけであり、0にならないため破棄されない。よってgspも縮小されない。

spを新たに伸ばすときは、現在のgspの位置から新しいフレームをrefcount=1で積む。 gspは新たに積まれたフレームに更新される。