<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div><div class="h5"><br></div></div>
That's what I want to do. I'm asking about a good way to write the algorithm that traverses the notes and reconstructs the document with the correct duration in each note. </blockquote><div><br></div><div>why isn't this as simple as foldr'ing something like this over the xml notes (assuming monophony and that they are listed in order of start time)?</div>
<div><br></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace; ">readNote xmlNote nl | null nl = mkNote : []</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace; "> | (</span><span class="Apple-style-span" style="font-family: 'courier new', monospace; ">n:ns) <- nl = </span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace; "> if not $ followedByTie xmlNote then mkNote : nl</span></div><div><font class="Apple-style-span" face="'courier new', monospace"> else n {dur = dur n `durPlus` xdur} : ns</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace"> where xdur = </font><span class="Apple-style-span" style="font-family: 'courier new', monospace; ">getDur xmlNote</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace; "> mkNote = </span><span class="Apple-style-span" style="font-family: 'courier new', monospace; ">Note {dur = xdur}</span></div>
<div><br></div><div>durPlus would be fun to implement for the NoteDur class... is polyphony the crux of the problem? if so, then the simple list data structure shown here won't work, you need a graph, as mentioned by serguey. but the idea is the same.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Actually, I don't want to lose information about the original form of the document, so I have separate fields for the duration of the graphical single note, and the duration of the tied chain.<br>
</blockquote><div><br></div><div>i think that's asking for trouble -- i would recompute the ties myself -- it's a matter of engraving style what the rules about ties are anyway. if you insist on being faithful to the input's ties, i would add some sort of reference to the note tiedTo (and maybe the note tiedFrom) to the Note record, but that means giving each note some sort of name or key or index.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Actually, it is better to speak of the end time than the duration, because what units do you put duration in? Beats? </blockquote><div><br></div><div>see my EDSL. duration is in units like <font class="Apple-style-span" face="'courier new', monospace">(Dotted $ Triplet Half)</font>, which is the natural musician's (and engraver's) unit. the time signature specifies the number of beats per quarter. if you store end location instead, you'll need to have some <font class="Apple-style-span" face="'courier new', monospace">(start -> end -> duration)</font> which has to know how to cross measure boundaries, which is unnecessarily complex, especially with changing time signatures.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">The time signature could be changing measure to measure. </blockquote><div><br></div><div>yeah i don't deal with changing time signatures or tempos. but it's easy to see how to handle time signature changes, since that can only change at a measure boundary:</div>
<div><br></div><div><font class="Apple-style-span" face="'courier new', monospace">data Measure = Measure {</font></div><div><font class="Apple-style-span" face="'courier new', monospace"> notes :: [Note]</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace"> , timeSig :: TimeSig</font></div><div><font class="Apple-style-span" face="'courier new', monospace"> }</font></div><div><br></div><div>
tempo changes are trickier (esp if allowed mid-measure?), but only matters if you need to resolve onsets/durations/offsets to real-world time. still looks straightforward...</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
I use Rational so there is no worry about precision of Floats.<br></blockquote><div><br></div><div><font class="Apple-style-span" face="'courier new', monospace">forall x. (Real x, Fractional x) => x</font> if you're picky. Rationals are not locally compact and are not a complete metric -- almost all Reals are irrational. :)</div>
<div><br></div><div>-e</div></div>