[Haskell-cafe] instance Eq (a -> b)

Ivan Lazar Miljenovic ivan.miljenovic at gmail.com
Wed Apr 14 05:05:56 EDT 2010


Ashley Yakeley <ashley at semantic.org> writes:

> On Wed, 2010-04-14 at 16:11 +1000, Ivan Miljenovic wrote:
>> but the only way you can "prove" it in
>> Haskell is by comparing the values for the entire domain (which gets
>> computationally expensive)...
>
> It's not expensive if the domain is, for instance, Bool.

You didn't make such a restriction; you wanted it for _all_ function types.


-- 
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
IvanMiljenovic.wordpress.com


More information about the Haskell-Cafe mailing list