[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.
Davis
--
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
shipping.
- Re: Converting a string to valid XHTML id?, Lennart Borgman, 2010/12/01
- Re: Converting a string to valid XHTML id?, Davis Herring, 2010/12/01
- Re: Converting a string to valid XHTML id?, rm, 2010/12/01
- Re: Converting a string to valid XHTML id?, Davis Herring, 2010/12/01
- Re: Converting a string to valid XHTML id?, Lennart Borgman, 2010/12/01
- Re: Converting a string to valid XHTML id?, Davis Herring, 2010/12/01
- Re: Converting a string to valid XHTML id?, Lennart Borgman, 2010/12/01
- Re: Converting a string to valid XHTML id?,
Davis Herring <=
- Re: Converting a string to valid XHTML id?, Lennart Borgman, 2010/12/01
- Re: Converting a string to valid XHTML id?, Davis Herring, 2010/12/01
- Re: Converting a string to valid XHTML id?, Lennart Borgman, 2010/12/01
Re: Converting a string to valid XHTML id?, Stefan Monnier, 2010/12/01
- Re: Converting a string to valid XHTML id?, Lennart Borgman, 2010/12/01
- Re: Converting a string to valid XHTML id?, Kevin Rodgers, 2010/12/01
- Re: Converting a string to valid XHTML id?, Lennart Borgman, 2010/12/01
- Re: Converting a string to valid XHTML id?, PJ Weisberg, 2010/12/01
- Re: Converting a string to valid XHTML id?, Lennart Borgman, 2010/12/02
- Re: Converting a string to valid XHTML id?, Lawrence Mitchell, 2010/12/02