give equal rights to types and classes! :)

Marcin 'Qrczak' Kowalczyk qrczak at knm.org.pl
Fri Feb 3 18:23:50 EST 2006


Bulat Ziganshin <bulatz at HotPOP.com> writes:

> if my idea was incorporated in Haskell, this change don't require
> even changing signatures of most functions working with arrays -
> just Array type become Array interface, what a much difference?

What would 'Eq -> Eq -> Ord -> Bool' mean?
'(Eq a, Eq b, Ord c) => a -> b -> c -> Bool'?
      '(Eq a, Ord b) => a -> a -> b -> Bool'?
      '(Eq a, Ord a) => a -> a -> a -> Bool'?

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/


More information about the Haskell-prime mailing list