Oleg,<br><br>Many thanks. i also found some course notes from Advance Functional Programming at Utrecht very useful. i have to wait until i have quality time to go over this because the next step is to close the final loop to find the fix point of
<br><ul><li>Process = Process(Nominate(Process))</li></ul>i haven&#39;t worked out the correct instance syntax to express this idea. But, i think the direction you pointed me in is the right one.<br><br>Best wishes,<br><br>
--greg<br><br><div><span class="gmail_quote">On 4/22/07, <b class="gmail_sendername"><a href="mailto:oleg@pobox.com">oleg@pobox.com</a></b> &lt;<a href="mailto:oleg@pobox.com">oleg@pobox.com</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>&gt; Is there documentation on the multi-parameter type classes?<br><br>Sections 7.4.2. Class declarations, 7.4.3 Functional dependencies and<br>7.4.4. Instance declarations of the GHC user guide give the short<br>description of these features. These section refer to a couple of
<br>papers. The best explanation can be found in papers by Mark P. Jones:<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<a href="http://web.cecs.pdx.edu/~mpj/pubs.html">http://web.cecs.pdx.edu/~mpj/pubs.html</a><br>(see especially `qualified types&#39;).<br>
<br>&gt; i think i see what you&#39;ve done, but i&#39;d like to read up on it to make<br>&gt; sure that i understand.<br><br>The approach in the previous message was quite close to that used for<br>representing collections. The type of a particular collection implies
<br>the type of collection&#39;s elements. In your case, the type of the agent<br>implies the type of the processor for that particular agent (and vice<br>versa). Incidentally, instance declarations can be recursive and<br>
mutually recursive.<br><br></blockquote></div><br><br clear="all"><br>-- <br>L.G. Meredith<br>Managing Partner<br>Biosimilarity LLC<br>505 N 72nd St<br>Seattle, WA 98103<br><br>+1 206.650.3740<br><br><a href="http://biosimilarity.blogspot.com">
http://biosimilarity.blogspot.com</a>