[Haskell-cafe] instance Eq (a -> b)
ivan.miljenovic at gmail.com
Wed Apr 14 02:11:02 EDT 2010
On 14 April 2010 16:03, Ashley Yakeley <ashley at semantic.org> wrote:
> Why isn't there an instance Eq (a -> b) ?
How do you prove that f = (2*) and g x = x + x are equal?
Mathematically, you can; but the only way you can "prove" it in
Haskell is by comparing the values for the entire domain (which gets
Or, how about higher order functions like map?
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
More information about the Haskell-Cafe