On Sat, May 14, 2011 at 10:20 AM, Reiner Pope <reiner.p...@gmail.com> wrote:
> So, what I mean is that strictness of the 'Window' type should (IMO) be > guaranteed by the 'Yi.Window' module, but at present anyone at all can > circumvent this. Right, I did not give too much thought about this one. It would be best to make this field private and have a custom update function; or use Data.Sequence as Nicolas suggested (I now understand what he meant :) I guess a "policy" is necessary, but one has to take some care to keep the implementation efficient enough. If at all possible, O(n) updates must be avoided. Cheers, JP. -- Yi development mailing list yi-devel@googlegroups.com http://groups.google.com/group/yi-devel
