Haskell 函数重载

Question

1. 我必须重载函数排序。函数的参数是一个数字，它们必须按参数0 的值排序。这是我尝试过的：

   Prelude>instance (Num a, Ord b) => Ord (a -> b) where f > g = f 0 > g 0
   

   但它会产生错误

   Could not deduce (Eq (a -> b))
   arising from the superclasses of an instance declaration
   from the context (Num a, Ord b)
   bound by the instance declaration at <interactive>:117:10-39
   In the instance declaration for `Ord (a -> b)'
   

2. 我还想为列表实例化 Ord 类。列表排序将通过每个列表的第一个元素之间的比较来给出。例如 [1,2]

   instance Ord a => Ord [a] where
       (h1:_) <= (h2:_) = h1 <= h2
   

   这也会产生下一个错误：

   Ambiguous occurrence `<='
   It could refer to either `Main.<=',
                        defined at C:\Users\user-name\Desktop\test.hs:2:8
                     or `Prelude.<=',
                        imported from `Prelude' at C:\Users\user-name\Desktop\test.hs:1:1
                        (and originally defined in `GHC.Classes')
   

我想我可能不太了解 Haskell 中的函数重载。也许有人可以解释我做错了什么。

Answer 1

1. 不要这样做。您在此处定义孤儿实例（既不存在于 data 的模块中也不存在于它们所属的 class 模块中的实例）；这样的实例在导入中是“不可见的”，这通常是大型项目维护的痛苦。 （有时你不会绕过孤立实例，特别是在组合来自不相关包的数据和类时；但函数、列表和Ord 都在基础库中。如果没有在那里定义实例，你可以很漂亮肯定有充分的理由！

2. 如果您确实定义了类实例，请查看类定义！ Ord 是这样定义的：

   class (Eq a) => Ord a where
     ...
   

   这意味着，Ord 的任何实例也必须是 Eq 的实例。这也是编译器告诉你的。所以，如果你定义了这个实例，你还需要添加

   instance (Num a, Eq b) => Eq (a -> b) where f==g = f 0 == g 0
   

   这是与您的Ord 兼容的唯一实例。坦率地说，这是错误的，因为大多数被此实例视为相等的函数不相等！

3. Haskell 不根本没有重载。如果你在你的模块Main 中定义了一个函数<=，这是一个与标准<= 又名Prelude.<= 完全无关的函数。您可以定义这样一个新功能，但要使用它，您需要消除歧义。以下应该有效：

   instance Ord a => Ord [a] where
     (h1:_) <= (h2:_) = h1 Main.<= h2
   

   同样，这不是一个好主意——您根本不应该首先定义Main.<=，而是将其定义放在Ord 实例中。