無法顯示haskell中實例函數的結果

Question

class (Eq k, Ord k, Show k) => KEY k where
  keyBuild    :: NumId -> NumId -> NumId  -> k
  keyDummy    :: k
  keyFromList :: [NumId] -> k
  -- keyGenerate :: (DATAPOOL p) => p -> Int -> [k]  -- p = Pool k e s


newtype PrimaryKey = PK (NumId, NumId, NumId) deriving (Eq, Ord, Show) 

instance KEY PrimaryKey where
  keyBuild k0 k1 k2 = PK (k0,k1,k2)
  keyDummy          = PK (0,0,0)
  keyFromList is    = keyFromList (take 3 (is ++ (replicate 3 0)))
  keyGenerate p cnt = let
                        ks = keys p
                        pks = map (\l ->  keyFromList (randomize l))                   (replicate cnt 3)
                      in pks

在ghci中

let k1 = keyBuild 1 2 3
let k2 = PK (1,2,3)
k1 == k2 
True
k2
PK (1,2,3)

並得到True和預期的k2值，但是

k1
231:1: error:
    • Ambiguous type variable ‘a0’ arising from a use of ‘it’
      prevents the constraint ‘(KEY a0)’ from being solved.
      Probable fix: use a type annotation to specify what ‘a0’ should be.
      These potential instance exist:
        instance [safe] KEY PrimaryKey -- Defined at Work

預期的PK（1,2,3）PrimaryKey具有派生值（方程，順序，顯示），所以我做錯了什么或錯過了什么？

Answer 1

您尚未為k1指定固定類型。 因為keyBuild可以使用正確的實例構造任何類型的鍵，所以它具有多態類型k1 :: KEY k => k 。 很好，因為您隨后可以將k1與不同具體類型的鍵進行比較...就您而言，您已經使用k2 :: PrimaryKey嘗試，但也可以使用k3 :: SomeOtherKeyType執行k1 == k3 ， SomeOtherKeyType也是KEY類的實例–在這種情況下， k1也會簡單地“接管” SomeOtherKeyType類型。

另一面是k1沒有特定類型。 實際上，它可能是任何適用的類型，但是編譯器應該如何知道您想要哪個呢？ 當使用==它的兩邊必須是相同的類型，因此在一側上有一個具體的類型就足夠了，但是k1本身就模棱兩可。

碰巧的是，在您的模塊中只有一個匹配的實例，即KEY PrimaryKey但通常會有很多（或零！）這樣的實例。 如果編譯器只是隨意選擇一個，那會很奇怪，不是嗎？

因此，如果要顯示k1 ，則需要手動選擇一種類型。 只需添加本地簽名即可輕松完成：

*Main> let k1 = keyBuild 1 2 3
*Main> :t k1
k1 :: KEY k => k
*Main> k1 :: PrimaryKey
PK (1,2,3)