<div>Can someone suggest some parser generator, suitable for pure strict lambda calculus?</div><div>š</div><div>For example, does it make sense to try PEG like in <a href="http://www.impredicative.com/pipermail/ur/2011-February/000520.html">http://www.impredicative.com/pipermail/ur/2011-February/000520.html</a> ?</div><div>š</div><div>12.10.2012, 17:12, "Alexei Golovko" <<a href="mailto:m-lj@yandex.ru">m-lj@yandex.ru</a>>:</div><blockquote type="cite"><div>šI parse them to list of elements:</div><div>datatype myXml =<br />ššš Text of string<br />ššš | Open of string * list { N : string, V : string } * option string<br />ššš | Close of string<br />ššš | Other<br /><br /></div><div>I've attached related modules, but the main problem is that I don't want to write full XML parser (dealing with entities, for example). Current code does not cover all cases (it is dirty and seems to have a silly bugs even with escaping; I have used it for two test files only for work with UI part). Probably, it is better do not invest time to optimization...</div><div>12.10.2012, 16:53, "Adam Chlipala" <<a href="mailto:adamc@csail.mit.edu">adamc@csail.mit.edu</a>>:</div><blockquote type="cite"><br /> OK, then I'd expect to parse fragments into a simple tree datatype.<br /> <br /> Maybe if you point us to an example of your parsing code, I can give some advice on making it faster.š (Linear-time/space parsing of strings in pure Ur code should be pretty easy, if you use the right standard library functions.)</blockquote>,<p>_______________________________________________<br />Ur mailing list<br /><a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br /><a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a></p></blockquote>