next up previous
Next: A comparison between Up: Key usage within Previous: Key Comparison

Why is external meaning important?

Sometimes, Database objects are used instead of Map objects to preserve an externally meaningful object order. For example, simplify uses Database objects (based on symbol names) instead of Map objects (based on Symbol addresses), even though the latter are faster, so that simplifying the same expression with the same variable names always produces the same output.



Jay Hoeflinger
Mon Apr 21 11:52:18 CDT 1997