<div>On Thu, Jan 28, 2010 at 7:58 PM, Nils Anders Danielsson¬†<span dir="ltr">&lt;<a href="mailto:nad@cs.nott.ac.uk">nad@cs.nott.ac.uk</a>&gt;</span>¬†wrote:<br><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
<div class="im">If the token set is finite you don&#39;t get any expressive advantage from a</div>monadic parser combinator library (in a lazy setting): you can parse any<br>decidable language using a simple library with an applicative functor<br>
interface.<br></blockquote></div><div><br></div>Ah good point. I&#39;d realized the class of &#39;codata CFGs&#39; I was working with was very large, but I hadn&#39;t made that painfully obvious in retrospect connection! Just enumerate the inhabitants of the language via your Applicative, er well, technically, Alternative combinators.<div>
<div><br></div><div>-Edward Kmett</div></div>