Alessandro Colomba <acolomba@xxxxxxxxx> writes:
> Would it be possible to generate repeatably unique symbols out of the
> type's name+structure, and use eq? on these symbols to determine type
> equality?
We can certainly produce a symbol from the name+structure, and use that
for type equality. However, that is actually more complicated to
implement, is less general, and doesn't buy you anything, compared to
the solution proposed.
>
> Basically I'm suggesting piggybacking type interning on symbol
> interning. The purpose being that when any record/object is
> deserialized, its type should match without the need to intern it
> explicitly first.
The interning will be done automatically by the deserialisation. When
you serialise an interned object and then deserialise it you will get
exactly the same object back. If you serialise the same interned object
several times, then deserialise them all after a restart, you will end
up with exactly one object.
I hope this explanation helps.
Matthias.
-------------------------------------------------------
SF.Net email is Sponsored by the Better Software Conference & EXPO
September 19-22, 2005 * San Francisco, CA * Development Lifecycle Practices
Agile & Plan-Driven Development * Managing Projects & Teams * Testing & QA
Security * Process Improvement & Measurement * http://www.sqe.com/bsce5sf
|
