<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Mar 17, 2014 at 1:28 PM, Kim-Ee Yeoh <span dir="ltr"><<a href="mailto:ky3@atamo.com" target="_blank">ky3@atamo.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class=""><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 18, 2014 at 2:14 AM, Dennis Raddle <span dir="ltr"><<a href="mailto:dennis.raddle@gmail.com" target="_blank">dennis.raddle@gmail.com</a>></span> wrote:<br>



<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">class Bt d c memo | d -> c, d -> memo where</blockquote></div><br></div></div><div class="gmail_extra">Could you also say something about the instances you intend to implement for this typeclass? <br>



<br>If there's only 1, which the statement of the problem suggests as much, you can dispense of the typeclass entirely and just work with plain functions!<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">



Could be that you want something working first and generalize / polymorphize later.<span class="HOEnZb"><font color="#888888"><br></font></span></div></div></blockquote><div><br><br></div><div>I don't know yet how I want to represent the solution being searched for; i.e. I don't know how I want to represent musical structures, and I need the freedom to try different ones without rewriting my code. I also wanted to implement a few toy problems to do testing on my algorithm.<br>
<br></div><div>But, you are absolutely right that I am generalizing too quickly. I worked on a toy problem today and had several insights. I noticed that some problems have specifics that don't fit the same mold. <br>
</div><div>-Dennis<br></div></div></div></div>