Re: [Haskell-cafe] regex-applicative library needs your help! (algorithmic challenge)

* Roman Cheplyaka [2011-09-14 00:29:55+0300]

Then there's another issue: I specifically want a combinator library, and not every automaton-based algorithm can serve this purpose in a statically typed language (unless there's some clever trick I don't know).

Just to clarify: by "clever" trick I don't mean a "dirty" trick, like using unsafeCoerce in frisby[1]. I guess I'm just too young and naive to use that kind of stuff. Glushkov automaton is nice because it can be used to implement parsing combinators in pure Haskell + GADTs. [1]: http://hackage.haskell.org/packages/archive/frisby/0.1/doc/html/src/Text-Par... -- Roman I. Cheplyaka :: http://ro-che.info/