Is anybody interested in working on this? This is a project I&#39;ve been interested in for some time, but recognize I probably need some guidance before I go off and start hacking on it. As dcoutts pointed out on #haskell-soc, this may be of particular interest to people working on yi and HaRe. Other interesting and related projects include parsing partial programs to insert &quot;placeholders&quot; in appropriate places. An example of a partial program could be:<br>



<br>foo :: [Foo] -&gt; &lt;placeholder 1&gt;<br>foo xs = map &lt;placeholder 2&gt; xs<br><br>What are the possible type signatures for placeholder 1 and the possible expressions for placeholder 2?<br><br>I would like to stir up a discussion about this, and eventually write some useful code.<br>



<br>&nbsp;&nbsp;&nbsp;&nbsp; -Abram<br>