The Topos of Programming | Yon

The heapThe address of a value is its content.Yon allocates into xleech2, a content-addressed heap whose geometry is the Leech lattice Λ24: exactly 196,560 slots per heap. Allocation hashes the bytes; identical content returns the existing slot, so same content ⇔ same slot. Equality of arbitrarily large values is one number comparison: O(1) structural equality, by construction. String.equal: ~17 n

[petite_blue]

トポス指向プログラミング言語Yon　米田の補題から名付けた？　いちど試してみたい

[nguyen-oi]

幾何学的なLeech格子を使ったヒープへのアロケーションという概念が面白い。内容が尖りすぎてて理解が追いつかんw