[Haskell-cafe] Re: ANN: weighted-regexp-

Sebastian Fischer sebf at informatik.uni-kiel.de
Tue Jul 27 03:58:23 EDT 2010

On Jul 27, 2010, at 9:15 AM, Sjoerd Visscher wrote:

> Oh, by the way, with noMatch, eps, alt and seq_ RegExp is itself a  
> Semiring,

Yes, but it's hard to define an Eq instance for arbitrary regular  
expressions that reflects equivalence of regexps.

There is currently only `instance Eq (RegExp Char)` which implements  
structural identity used for the QuickCheck tests.

> but I'm not sure what that would do.

I think matching a regular expression against a word in the "regular  
expressions semiring" returns an unfolding of the original regular  
expression which matches exactly the given word.


Underestimating the novelty of the future is a time-honored tradition.

More information about the Haskell-Cafe mailing list