On Mon, Mar 17, 2014 at 1:28 PM, Kim-Ee Yeoh <ky3@atamo.com> wrote:

On Tue, Mar 18, 2014 at 2:14 AM, Dennis Raddle <dennis.raddle@gmail.com> wrote:

class Bt d c memo | d -> c, d -> memo where

Could you also say something about the instances you intend to implement for this typeclass?

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!

Could be that you want something working first and generalize / polymorphize later.

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.

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.

-Dennis