labeling of trees (was: Re: [Texmacs-dev] Cache profiling of TeXmacs 1.0.3.9)

[David MENTRE]

Hello,

Joris van der Hoeven <address@hidden> writes:

> Yes, this should certainly be considered sometime. In fact,
> we might use symbols instead of strings as the labels of all trees.
> That would make compairison much faster, even though usual string
> operations like << on labels would become slower.

I'm not sure I'm understanding what I'm speaking about but wouldn't it
possible to use a 32 or 64 bits counter as identifier. Comparison is
ultra fast and creation of new identifier is also ultra-fast (just
increment a global counter). With a 64 bits counter, I'm pretty sure you
have enough identifiers for a document life-time.

Yours,
d.
-- 
 David Mentré <address@hidden>