On 8/12/05, Matthias Radestock <matthias@xxxxxxxxxx> wrote:
[...]
> the efficiency of a). One way to do this is to ensure that the two
> notions of equality coincide. This can be accomplished by "interning"
> objects, i.e. maintaining a (weak) set of objects under structural
> equality. That's exactly what happens with symbols in Scheme. So we
I'm going on a limb, but I figure that, at the very least, the answer
will help me to better understand the problem details.
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?
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.
___
Alessandro
-------------------------------------------------------
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
|
