polyTypeOf è misterioso

Question

PolyTypeable è un analogo di Typeable per i tipi polimorfici. Ma funziona piuttosto imprevedibile: il codice sorgente

ghci> :t show 
show :: Show a => a -> String 
ghci> polyTypeOf show 
a1 -> [Char] 
ghci> :t fromEnum 
fromEnum :: Enum a => a -> Int 
ghci> polyTypeOf fromEnum 

<interactive>:1:12: 
    Ambiguous type variable `a0' in the constraint: 
     (Enum a0) arising from a use of `fromEnum' 
    Probable fix: add a type signature that fixes these type variable(s) 
    In the first argument of `polyTypeOf', namely `fromEnum' 
    In the expression: polyTypeOf fromEnum 
    In an equation for `it': it = polyTypeOf fromEnum 

La biblioteca è abbastanza difficile da capire, potrebbe spiegare il motivo per cui si fa polyTypeOf accetta certo insieme di argomenti e non riesce ad accettare altri, anche molto simile?

Answer 1

La ragione è la stessa che per

Prelude> show undefined 
"*** Exception: Prelude.undefined 
Prelude> fromEnum undefined 

<interactive>:0:1: 
    Ambiguous type variable `a0' in the constraint: 
     (Enum a0) arising from a use of `fromEnum' 
    Probable fix: add a type signature that fixes these type variable(s) 
    In the expression: fromEnum undefined 
    In an equation for `it': it = fromEnum undefined 

cioè, ghci di estese moroso regole consentono di risolvere l'ambiguità di un vincolo Show, ma non per un Enum vincolo. Se si tenta di compilare un file sorgente con foo = polyTypeOf show, si ottiene anche un errore variabile di tipo ambiguo (a meno che non si utilizzi {-# LANGUAGE ExtendedDefaultRules #-}).