Haskell函數重載

我必須重載函數排序。函數的參數是一個數字，它們必須按參數0的值排序。這是我的嘗試：Haskell函數重載

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)'

我也想實例化奧德類名單。列表排序將通過每個列表的第一個元素之間的比較給出。例如[1,2] < [2,3]因爲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中的函數重載。也許有人可以解釋我做錯了什麼。

來源

2016-06-10 zaig

您是否定義了自己的<='？Prelude已經有一個'<='，所以你應該選擇你想要的那個（這就是第二個錯誤信息所說的）。第一個錯誤是說沒有爲函數之間的平等定義內置。另外，Haskell沒有函數重載。 – pdexter

因爲那麼'[1,1] <= [1,2]'和'[1,2] <= [1,1]'但當然是'[1,1]/= [1,2]' - 你也無法比較空列表...你爲什麼要這樣做？ – Carsten

這個練習的目的是理解不做「有意義」的事情的原則。 – zaig

不要這樣做。您正在定義孤立實例（這些實例既不在data的模塊中，也不在class中）;這種情況下「隱藏」在進口，這通常是一個更大的項目維護的痛苦。（有時你不會避開孤立的實例，特別是當從不相關的包中合併數據和類時;但函數，列表和Ord都在基本庫中，如果在那裏沒有定義實例，那麼可以確定有一個很好的理由
如果你定義一個類的實例，看看類定義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兼容的實例。坦率地說，這只是錯誤的，因爲大多數被認爲是平等的功能是而不是等於！
Haskell確實不是根本就沒有重載。如果您在模塊Main中定義了功能<=，則這是與標準<=又名Prelude.<=完全不相關的功能。您可以定義這樣一個新功能，但要使用它，您需要消除歧義。下面應該工作：
```
instance Ord a => Ord [a] where 
    (h1:_) <= (h2:_) = h1 Main.<= h2 
```
雖然再次，這不是一個好主意–你根本不應該擺在首位定義Main.<=，而是把它的定義就在Ord實例。

來源

2016-06-10 10:43:10 leftaroundabout

'Ord [a]'實例不會與'Prelude'實例重疊嗎？ – chi

我現在明白你在說什麼了。我還有一個問題。爲什麼這個工作'實例（顯示b，數字a）=>顯示（a - > b）其中顯示f =顯示（f 0）'，我不必做'實例（顯示b，數字a）= > Show（a - > b）where f = Main.show（f 0）'？ – zaig

因爲與'<='不同，你顯然試圖自己定義一個新的''，你從來沒有定義過自己的'show'函數。因此很明顯'show'指的是'Prelude.show'，而'Main.show'根本不存在。 – leftaroundabout

Haskell函數重載

回答

相關問題