Re: [Haskell-cafe] combined parsing & pretty-printing

Ozgur Akgun wrote in article in gmane.comp.lang.haskell.cafe:

I working on a DSL represented by a algebraic data type with many constructors. I can write (separately) a parser and a pretty-printer for it, and I am doing so at the moment. However, this way it feels like repeating the same information twice.

Is there any work to combine the two?

Tillmann Rendel and Klaus Ostermann's Haskell Symposium 2010 paper is one work to combine the two. You can also use Ranta's Grammatical Framework (JFP 2004), which has a production implementation and additional linguistic theory behind it. -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig Insert wit here.