Las firmas de show
y read
son las siguientes:
show :: Show a => a -> String
read :: Read a => String -> a
El problema es que en tu programa, Haskell no puede inferir el tipo de los datos leídos, ya que estos se utilizan como argumentos de f :: [a] -> [[a]] -> [(a,a)]
. Simplemente sabe que el primer dato es una lista de algo, el segundo dato es una lista de listas de algo, y que devuelve una lista de tuplas de algo y algo. Por lo tanto no sabe cómo leer tus datos con read
y no sabe cómo mostrar luego el resultado con show
.
Para solucionarlo debes proporcionar una anotación de tipo para la función read
:
putStrLn (show (f (read xs :: [Int]) (read ys)))
En este caso sería suficiente con anotar uno de los datos, ya que la función f
sólo tiene una variable de tipo, a
, y si el primer dato es una lista de enteros, puede inferir que el segundo es una lista de listas de enteros.
No obstante, si la firma de f
fuera esta:
f :: [a] -> [[b]] -> [(a,b)]
Tendrías que anotar el tipo de los dos datos:
putStrLn (show (f (read xs :: [Int]) (read ys :: [[Char]])))