User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; sv-SE; rv:1.9.2.22)
            Gecko/20110902 Thunderbird/3.1.14
MIME-Version: 1.0
References: <20120202102957.GB14566@csmvddesktop>           
            <4F2A68F9.1010508@morningstar2.co.uk>           
            <20120202111808.GA15304@csmvddesktop>
            <CANQYN6x2P2Mr+1LC5gCeUPHxTxRzmfVfPep8-oJ+VnW=5pvf1Q@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID:  <4F2AC338.2060505@residenset.net>
Date:         Thu, 2 Feb 2012 18:09:12 +0100
Reply-To: Mailing list for the LaTeX3 project
              <LATEX-L@listserv.uni-heidelberg.de>
Sender: Mailing list for the LaTeX3 project <LATEX-L@listserv.uni-heidelberg.de>
From: =?ISO-8859-1?Q?Lars_Hellstr=F6m?= <Lars.Hellstrom@RESIDENSET.NET>
Subject: Re: Mapping Functions Versions for All and Some
To: LATEX-L@listserv.uni-heidelberg.de
In-Reply-To:  <CANQYN6x2P2Mr+1LC5gCeUPHxTxRzmfVfPep8-oJ+VnW=5pvf1Q@mail.gmail.com>
Precedence: list
Status: R

Bruno Le Floch skrev 2012-02-02 13.32:
> I've been wondering: should it be called "regex" or "regexp"?

My preference is for "regexp", but I can see it might by now be a bit 
awkward to change it.

> Like Joseph, I don't see how useful the functions you propose are. Do
> you have a precise use case?

Imprecisely, I suspect one might find such predicates useful when about to 
choose between two methods of doing something: one which is quick, but only 
works in the (common) simple case, and one which is general but slow. 
Whether that happens frequently enough for them to be put in the kernel is 
another matter.

Lars Hellström

PS: Since I'm posting anyway, I suppose I should mention this too in case 
anyone is interested: After my autumn experiments with Church booleans, I 
went on to implement a fully expandable package for <integer> to <balanced 
text> mappings using 2-3-trees. I didn't quite finish it before getting 
sidetracked by other projects (in this case, actual research), but insertion 
of entries is there and works. Next would have been popping off entries; 
together the two would suffice for making a prioriqueue, which I would 
imagine can be useful in places.