Or we can use ML (no, not that ML) to find the implementation you probably want (<a href="http://www.cs.berkeley.edu/~bodik/research/prospector.html">http://www.cs.berkeley.edu/~bodik/research/prospector.html</a>), for some measure of &#39;probably&#39;. But, if we&#39;re really talking types, shouldn&#39;t that be all you need? (Djinn, 
<a href="http://www.haskell.org/pipermail/haskell/2005-December/017055.html">http://www.haskell.org/pipermail/haskell/2005-December/017055.html</a>)<br><br><div><div>- Leo<br>&nbsp;</div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Message: 9<br>Date: Mon, 14 May 2007 10:02:45 -0400<br>From: Matthias Felleisen &lt;<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>&gt;<br>Subject: Re: [plt-scheme] Are new Schemers supposed to be reading<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;SRFIs?<br>To: Geoffrey S.Knauth &lt;<a href="mailto:geoff@knauth.org">geoff@knauth.org</a>&gt;<br>Cc: mzscheme Mailing List &lt;<a href="mailto:plt-scheme@list.cs.brown.edu">plt-scheme@list.cs.brown.edu</a>&gt;<br>
Message-ID: &lt;<a href="mailto:007D0C52-08CE-42F1-A289-D9A650777D1B@ccs.neu.edu">007D0C52-08CE-42F1-A289-D9A650777D1B@ccs.neu.edu</a>&gt;<br>Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed<br><br><br>
On May 14, 2007, at 7:02 AM, Geoffrey S. Knauth wrote:<br><br>&gt; On May 10, 2007, at 15:27, John Clements wrote:<br>&gt;&gt; In some ways, this resembles the problems that doctors have; in<br>&gt;&gt; order to give the best possible advice, they need to keep up with
<br>&gt;&gt; all of the most recent findings, while at the same time<br>&gt;&gt; discounting somewhat the more recent &amp; unverified one.<br>&gt;&gt;<br>&gt;&gt; I don&#39;t think that CS has yet evolved (or, hitherto, needed to
<br>&gt;&gt; evolve) a good channel for this kind of dissemination.<br>&gt;<br>&gt; If there were contracts or machine readable documentation<br>&gt; everywhere, we could ask the computer, &quot;Has anyone written code<br>
&gt; that takes types X Y and produces Z?&quot;&nbsp;&nbsp;A smart network would find<br>&gt; implementations in different languages, rate them, and offer to<br>&gt; help convert them into our favorite language.<br><br>It turns out that this was my Diploma thesis in 1983. I applied it to
<br>ADTs, which were popular at the time.<br><br>OCAML had something like this in 1996/97. It was based at ENS and<br>served via the Web. I don&#39;t know whether they still do. You may want<br>to ask, though I don&#39;t think it took off.
<br><br>-- Matthias<br><br><br></blockquote></div>