Re: Anarchy and Sets: Restoring Abstraction in GHC

1995-11-20 Thread Marko Schuetz
| The problem, I think, stems from the need for *efficient implementation* | which has unfortunately totally destroyed the abstraction. You're quite right of course. Actually there's a hierarchy of increasingly constrained implementations sets with element equality onl

Anarchy and Sets: Restoring Abstraction in GHC

1995-11-17 Thread Jon Mountjoy
Hello, In my recent attempt to convert somebody from that (tm) language to Haskell, I ran into a few problems when it came to the Set module provided with ghc. The problem, I think, stems from the need for *efficient implementation* which has unfortunately totally destroyed the abstraction.

Re: Anarchy and Sets: Restoring Abstraction in GHC

1995-11-17 Thread Simon L Peyton Jones
| The problem, I think, stems from the need for *efficient implementation* | which has unfortunately totally destroyed the abstraction. You're quite right of course. Actually there's a hierarchy of increasingly constrained implementations sets with element equality only sets