[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Converting a string to valid XHTML id?

From: Davis Herring
Subject: Re: Converting a string to valid XHTML id?
Date: Wed, 1 Dec 2010 16:12:24 -0800 (PST)
User-agent: SquirrelMail/1.4.8-5.el5_4.10.lanl3

>> And my function is injective.
> Do you mean that it always maps the same original input string to the
> same unique output string?

Yes -- injective gives you the "unique".  The "same" is because it's pure.

> However I thought it would be easier reading the result with my
> simpler mapping.

Sure, unless this runs too many times.

>>>     (when old
>>>       (setq new-id (concat new-id "X"))))

I don't know what's really easier; I just think that having it be
stateless is a good thing.


This product is sold by volume, not by mass.  If it appears too dense or
too sparse, it is because mass-energy conversion has occurred during

reply via email to

[Prev in Thread] Current Thread [Next in Thread]