Comments on: A Parsec Full of Rats, Part 1 http://comonad.com/reader/2011/a-parsec-full-of-rats/ types, (co)monads, substructural logic Sat, 29 Dec 2012 15:18:06 -0800 http://wordpress.org/?v=2.8.4 hourly 1 By: Edward Kmett http://comonad.com/reader/2011/a-parsec-full-of-rats/comment-page-1/#comment-75969 Edward Kmett Sun, 25 Sep 2011 02:41:12 +0000 http://comonad.com/reader/?p=380#comment-75969 @Victor: Not yet. Haskell is one of my use cases though, which is why the Literate and Layout parser transformers exist in the first place. My current focus has been on getting a usable C preprocessing parser transformer and rudimentary packrat support (because otherwise layout parsing is particularly expensive re-playing the 'whiteSpace/virtual semicolon/virtual right brace' parser at the same location over and over. This is what led to this pair of articles. I do have a small prototype implementation of Daan Leijen's HMF which uses trifecta to parse. Once I'm happier with it and obtain final permission to release it, that may serve as such a tutorial. @Victor:

Not yet.

Haskell is one of my use cases though, which is why the Literate and Layout parser transformers exist in the first place. My current focus has been on getting a usable C preprocessing parser transformer and rudimentary packrat support (because otherwise layout parsing is particularly expensive re-playing the ‘whiteSpace/virtual semicolon/virtual right brace’ parser at the same location over and over.

This is what led to this pair of articles.

I do have a small prototype implementation of Daan Leijen’s HMF which uses trifecta to parse. Once I’m happier with it and obtain final permission to release it, that may serve as such a tutorial.

]]>
By: Victor Nazarov http://comonad.com/reader/2011/a-parsec-full-of-rats/comment-page-1/#comment-75955 Victor Nazarov Sun, 25 Sep 2011 00:20:52 +0000 http://comonad.com/reader/?p=380#comment-75955 Is there a tutorial-style documentation for trifecta that can be used to build Haskell 2010 parser with layout rule and fixity resolution using explicitly-lazy/iteratee/coroutine-style IO? Is there a tutorial-style documentation for trifecta that can be used to build Haskell 2010 parser with layout rule and fixity resolution using explicitly-lazy/iteratee/coroutine-style IO?

]]>