Haskell: leer un número (entero o punto flotante)

Question

estoy usando esta aplicación de maybeRead:

maybeRead :: (Read a) => String -> Maybe a 
maybeRead = fmap fst . listToMaybe . filter (null . dropWhile isSpace . snd) . reads 

y mi propia función getNum que impulsa hasta que se pone de entrada válida:

getNum :: (Num a, Read a) => String -> IO a 
getNum s = do 
    putStr s 
    input <- fmap maybeRead getLine 
    if isNothing input 
     then getNum s 
     else return $ fromJust input 

Sin embargo si ingreso 5.2, lo trata como una entrada incorrecta: ¿por qué? No hay ocurrencias de Int y Integer en mi código. Solo estoy usando Num, ya que quiero aceptar cualquier tipo de número.

Si lo llamo explícitamente como getNum "Enter a number: " :: IO Double, entonces funciona. ¿Tengo que hacer esto? ¿El sistema de tipos de Haskell me está engañando para que piense que debería ser capaz de hacer esto cuando en realidad es imposible sin una escritura dinámica completa? Si es así, ¿por qué mi código incluso compila? ¿Por qué asume enteros?

Answer 1

Su función aceptará efectivamente Integer, Float, o cualquier otra instancia de Num. Sin embargo, qué tipo acepta y, por extensión, cómo analiza el String, no está determinado por la entrada que recibe, está determinado por de qué tipo debe ser el resultado en función de lo que haga con él.

Supongamos que usa getNum y pasa el valor resultante a algo que necesita un Float; en ese caso, analizará un valor de Float. Si lo pasa a algo que necesita un Integer, lo analizará.

En cuanto a lo que se supone Integer, hay un sistema de "morosos" para este tipo de specified in the Haskell Report ambiguas, y las reglas dicen que un tipo ambigua con una restricción Num debe predeterminado a Integer.