collections - Smalltalkでコレクションをそれ自体に追加すると失敗するのはなぜですか?

Question

なぜこれが GNU Smalltalk で終了しないのだろうか:

s := Set new. s add: s

理論的にsは、単に空のセットを含むセットである必要があります。しかし、それを実行すると永遠にループし、ヒープが爆発します。

興味深いことに、 ((s := Set with: 4 with: 5 with: 6) add: s) size.終了して 4 に評価されます。