[Haskell-cafe] instance Eq (a -> b)
Jonas Almström Duregård
jonas.duregard at gmail.com
Wed Apr 14 02:55:55 EDT 2010
I guess nontermination is a problem (e.g. if one or both functions
fail to terminate for some values, equality will be undecidable).
On 14 April 2010 08:42, Ashley Yakeley <ashley at semantic.org> wrote:
> 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.
> Ashley Yakeley
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe