Left-bias and non-structural equality.
maeder at tzi.de
Thu Jan 5 04:25:47 EST 2006
Jean-Philippe Bernardy wrote:
> On 1/4/06, Christian Maeder <maeder at tzi.de> wrote:
>> I would not like to drop biasing distinction, as I don't think this
>> costs too much. With biasing, maps could be implemented via "biased
>> sets" (Set (MapEntry a b)):
>> data MapEntry a b = a := b
>> instance Eq/Ord a => Eq/Ord (MapEntry a b) where
>> compare (a1 := _) (a2 := _) = compare a1 a2
> I would discourage such a use. This is exaclty why we provide Maps, after all.
I still agree, but it might be nice to have for testing, comparison, and
property specification purposes.
More information about the Libraries