Re: State of DData

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