驅動程序的多態函數成員的模糊類型GADT

Question

我正在測試一些代碼，用於我正在做的一個小實驗，但在一開始我就碰到了一個我看不到如何修復的障礙。

data DatabaseDriver a b where 
    DatabaseDriver :: (Table table, Field field) => { 
     dbInsert :: table -> [field] -> String 
    , dbSelect :: table -> [field] -> String 
    } -> DatabaseDriver a b 

class Table a where 
    tableName :: a -> String 

class Field a where 
    fieldName :: a -> String 
    fieldValue :: a -> String 

psqlDriver = DatabaseDriver insert select 
    where 
     insert t fs = "insert into " ++ tableName t ++ " (" ++ fieldNames fs ++ ") values (" ++ fieldValues fs ++ ")" 
     select t fs = "select " ++ fieldNames fs ++ " from " ++ tableName t 
     fieldNames = joinComma fieldName 
     fieldValues = joinComma fieldValue 
     joinComma f = foldl (\a n -> a ++ ", " ++ n) "" . map f 

好了，所以這是一些測試代碼，驅動程序的功能會得到多少比這更復雜，但即使在這樣的測試中，我得到的錯誤「曖昧類型的約束變量‘A0’：（場A0）所以編譯器的確看到fieldName被應用到了一個字段上，但顯然它想要一個更具體的類型在這裏，我想讓函數保持多態使得pgsqlDriver不是一個具體的類嗎？

但是這個想法是這些函數是多態的，這就是我在這裏選擇使用GADT的原因，所以我可以將參數的類型約束放在這些驅動函數中，而不必在每個實例化中重複它們。該計劃將是定義的數據庫驅動程序可以與任何Field和Table實例一起工作。這可以不完成，我的DatabaseDriver類型也必須是一個類型類？

Answer 1

這裏有三個選項。第一個選項是將

{-# LANGUAGE NoMonomorphismRestriction #-} 

添加到模塊文件的頂部。

第二個選項是向psqlDriver添加顯式類型簽名。

psqlDriver :: (Field field, Table table) => (table -> [field] -> String) -> DatabaseDriver a b 

之所以要的，這是一個有點微妙的，和更多的細節可以發現here

第三個選擇是的psqlDriver的定義修改爲

psqlDriver = DatabaseDriver insert select 

然而，這確實含糊不清 - 沒有理由優先選擇Table或Field的任何特定實例。也許你的意思是如下定義DatabaseDriver。

data DatabaseDriver table field where 
    DatabaseDriver :: (Table table, Field field) => { 
     dbInsert :: table -> [field] -> String 
    , dbSelect :: table -> [field] -> String 
    } -> DatabaseDriver table field 

如果DatabaseDriver的原始定義被改寫爲ADT，是比較明顯的原因。

因爲它是目前寫的問題，翻譯成ADT是

{-# LANGUAGE ExistentialQuantification #-} 

data DatabaseDriver a b 
    = forall table field . 
    (Table table, Field field) => DatabaseDriver 
    { dbInsert :: table -> [field] -> String 
    , dbSelect :: table -> [field] -> String 
    } 

公告嵌套forall table field，以及如何table和field必須a或b沒有關係。

預期的翻譯或者是

data DatabaseDriver table field 
    = (Table table, Field field) => DatabaseDriver 
    { dbInsert :: table -> [field] -> String 
    , dbSelect :: table -> [field] -> String 
    } 

或最有可能

data DatabaseDriver table field 
    = DatabaseDriver 
    { dbInsert :: table -> [field] -> String 
    , dbSelect :: table -> [field] -> String 
    } 

具有在DatabaseDriver定義的類型類的約束不會讓你從任何使用DatabaseDriver刪除類型類的約束，特別是psqlDriver。在上面的兩種ADT翻譯中，psqlDriver的類型是

psqlDriver :: (Table table, Field field) => DatabaseDriver table field