
uu-parsinglib [1] is an error correcting parser combinator library. There is a "short" tutorial that explains some of the ideas behind that library [2]. The error correcting is covered in section 7. I should also mention that it is already a bit old and not maintained anymore, so there might be some rough edges. [1] http://hackage.haskell.org/package/uu-parsinglib [2] http://www.cs.tufts.edu/~nr/cs257/archive/doaitse-swierstra/combinator-parsi... On 10/29/20 5:50 PM, YueCompl via Haskell-Cafe wrote:
Thanks Michal and Georgi,
And actually I'm also pondering with ideas to start a fault tolerant parser implementation, filed a question issue at https://github.com/mrkkrp/megaparsec/issues/431 https://github.com/mrkkrp/megaparsec/issues/431 so far.
I'll definitely take IOHK's approaches for reference, I think I'll benefit a lot from those battle tested, production ready codebase.
Thanks with best regards, Compl
On 2020-10-29, at 23:05, Georgi Lyubenov
wrote: Hi Michal,
Just noting that perhaps https://hackage.haskell.org/package/validation https://hackage.haskell.org/package/validation or https://hackage.haskell.org/package/monad-validate https://hackage.haskell.org/package/monad-validate could also be of use for these purposes.
Cheers,
====== Georgi _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.