State of DData

[Wolfgang Jeltsch]

Am Donnerstag, 25. März 2004 18:09 schrieb Christian Maeder:
> JP Bernardy wrote:
> [...]

> > To me, this barely makes a difference whatever is
> > chosen. For reasons of compatibility with the old
> > FiniteMap/Set, "right bias+structure first" might be
> > better.
>
> I vote for the current state "left bias+structure last", as the bias
> should not matter much

Does the bias matter at all if Eq means equality?

> and a repeated lookup can be done using the section notation: (`Map.lookup`
> m)
>
> For folding "structure last" is to be preferred as even the type of
> FiniteMap.foldFM suggest! Thus e.g..insert should be like in DData.Map
> and not like addToFM in Data.FiniteMap.

I'd vote for structure last, too.

> Christian

Wolfgang