tipo rígido error variable

Question

¿Qué hay de malo con esta función?

test :: Show s ⇒ s 
test = "asdasd" 

Cadena es una instancia de la clase Show, por lo que parece correcta.

El error es

src\Main.hs:224:7: 
    Couldn't match expected type `s' against inferred type `[Char]' 
     `s' is a rigid type variable bound by 
      the type signature for `test' at src\Main.hs:223:13 
    In the expression: "asdasd" 
    In the definition of `test': test = "asdasd" 

Answer 1

test :: Foo a => a medios "para cualquier tipo que es una instancia de Foo, test es un valor de ese tipo". Entonces, en cualquier lugar donde pueda usar un valor de tipo X donde X es una instancia Foo, puede usar un valor de tipo Foo a => a.

Algo así como test :: Num a => a; test = 42 42 obras porque puede haber un valor de tipo Int o Integer o Float o cualquier otra cosa que es una instancia de Num.

Sin embargo "asdasd" no puede ser una cosa Int o de lo que es una instancia de Show - que sólo puede ser jamás un String. Como consecuencia, no coincide con el tipo Show s => s.

Answer 2

Sí, String es una instancia de Show. Pero eso no permite usar una cadena como un valor Show abritary. 1 puede haber Num a => a porque hay un 1 :: Integer, un 1 :: Double, un 1 :: Word16, etc. Si "asdasd" podría ser de tipo Show a => a, no habría "asdasd" :: Bool, "asdasd" :: String, "asdasd" :: Int, etc. No hay. Por lo tanto, "asdasd" no puede ser del tipo Show a => a. El tipo de constante de cadena no es mucho más general que String.