Re: [Haskell-cafe] Missing join and split

On Fri, Dec 28, 2007 at 11:40:24PM +0100, Mitar wrote:

Hi!

On Dec 28, 2007 5:51 PM, Lihn, Steve wrote:

...

Since regex is involved, it is specific to (Byte)String, not a generic list.

Oh, this gives me an interesting idea: making regular expressions more generic.

Would not it be interesting and useful (but not really efficient) to have patterns something like:

foo :: Eq a => a -> ... foo (_{4}'b') = ...

Your idea has precedent, albeit only in an april fool's joke. http://www.dcs.gla.ac.uk/~partain/haskerl/partain-1.html (section 5, "(Polymorphic) Regular expressions") Stefan