Restricted Data Types
taralx at gmail.com
Tue Feb 7 19:45:47 EST 2006
On 2/7/06, John Meacham <john at repetae.net> wrote:
> But this is exactly the behavior you want, you can't very well expect to
> sort without an Ord a instance.
Okay, so maybe that was a bad example. Let's see...
data Eq a => Set a = ...
uniq :: Eq a => [a] -> [a]
uniq = <code using Set>
Now if Set switches to an Ord implementation, I will suddenly have a problem...
Taral <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
-- Edsger Dijkstra
More information about the Haskell-prime