Come risolvere l'ambiguità nei miei GADT

Question

Ho due GADT che sto usando per modellare una SQL EDSL. Per mantenere il client di fronte api pulito e semplice, desidero utilizzare OverloadedStrings per convertire valori letterali stringa su Column Selection.

Pertanto è sufficiente digitare

select ["a", "b"] $ from tbl 

invece di

select [Column "a", Column "b"] $ from tbl 

Il problema è che select consente sia Column Selection s e Reduction s per consentire per le query che eseguono aggregazioni.

mean :: Column Selection -> Column Reduction 

select :: [Column a] -> Query b -> Query Selection 
select [mean "a"] $ from tbl 

e quindi le corde sono ambigui in questo contesto di [Column a]. Ma select [mean "a"] $ from tbl è valido dal mean fornisce il contesto necessario per dedurre che la stringa letterale è una selezione di colonne.

Qualcuno può consigliare un modo per uscire da questo pasticcio?

Il mio codice corrente al di sotto (casi irrilevanti omessi)

{-# LANGUAGE 
    GADTs 
    , RankNTypes 
    , DataKinds 
    , TypeFamilies 
    , FlexibleContexts 
    , FlexibleInstances 
    , OverloadedStrings #-} 

data Sz = Selection | Reduction deriving Show 
data Schema = Schema{name :: Maybe String, spec :: [Column Selection]} 

type family ColOp (a :: Sz) (b :: Sz) where 
    ColOp Selection Selection = Selection 
    ColOp Selection Reduction = Selection 
    ColOp Reduction Selection = Selection 
    ColOp Reduction Reduction = Reduction 

data Column (a :: Sz) where 
    Column :: String -> Column Selection 
    Assign :: String -> Column a -> Column a 
    FKey :: String -> Schema -> Column Selection 
    BinExpr :: BinOp -> Column a -> Column b -> Column (ColOp a b) 
    LogExpr :: LogOp -> Column a -> Column b -> Column Selection 
    AggExpr :: AggOp -> Column Selection -> Column Reduction 

instance IsString (Column Selection) where 
    fromString s = Column s 

data Query (a :: Sz) where 
    Table :: Schema -> Query Selection 
    Select :: [Column a] -> Query b -> Query Selection 
    Update :: [Column a] -> Query b -> Query Selection 
    Where :: [Column Selection] -> Query Selection -> Query Selection 
    Group :: [Column Selection] -> Query Selection -> Query Reduction 

Vorrei anche fare la seguente firma falliscono per Select/Update:

[Column Selection] -> Query Reduction -> Query Selection 

ma questa è tutta un'altra lattina di worm ...

Answer 1

Il compilatore è corretto per darti un errore di tipo ambiguo per Select ["a"] - l'istanza IsString (Column Selection) può essere scelta solo se a priori l'argomento a Column è noto per essere Selection. Questo è esattamente il comportamento previsto.

quello che vuoi è il seguente:

instance (x ~ Selection) => IsString (Column x) where 
    fromString = Column 

Questo permetterà al compilatore di dedurre che "x" :: Column _ deve effettivamente essere "x" :: Column Selection, al contrario di richiedono esso.

Select [mean "a"] è una situazione completamente diversa - dal mean :: Column Selection -> Column Reduction, il compilatore sa, prima della selezione esempio accade, che "a" :: Column Selection, perché il tipo di mean forze che questo sia il caso.