Haskell中read解析浮点数触发‘no parse’异常的原因咨询

先看你写的IO代码：

calculIOTest :: IO ()
calculIOTest = do
   putStrLn "Give me two numbers"
   l1 <- getLine
   let x1 = read l1 
   l2 <- getLine
   let x2 = read l2 
   print (x1 + x2)

这段代码输入整数能正常运行，但输入浮点数时会抛出异常：

***Exception: Prelude.read: no parse

另外你在交互环境测试时，执行(read 10000.9) + (read 1115)出现了两个类型推导错误：

Could not deduce (Fractional String)
arising from the literal ‘10000.9’
from the context: (Read a, Num a)
bound by the inferred type of it :: (Read a, Num a) => a
at :135:1-28

Could not deduce (Num String) arising from the literal ‘1115’
from the context: (Read a, Num a)
bound by the inferred type of it :: (Read a, Num a) => a
at :135:1-28

下面分别解释这两个问题的原因：

一、IO代码输入浮点数报错的原因 #

Haskell的read函数必须明确知道要把字符串解析成什么类型。在你的代码里，x1 + x2用到了Num类型类的+运算符，而整数字面量默认会被推导成Integer或Int类型——也就是说，Haskell默认让read把输入的字符串解析成整数。

当你输入浮点数（比如2.5）时，这个字符串不符合整数的格式规则，read自然就解析失败，抛出no parse异常。

二、交互环境测试代码的错误原因 #

你写的测试代码犯了一个基础语法错误：read的参数必须是字符串，但你直接传了数字字面量10000.9和1115。

Haskell看到read 10000.9时，会根据read的类型Read a => String -> a，认为10000.9应该是String类型。但10000.9是浮点数字面量，属于Fractional类型类，Haskell没办法把浮点数当成字符串处理，所以抛出Could not deduce (Fractional String)的错误；同理，1115是整数字面量，属于Num类型类，无法被当成字符串，于是出现第二个错误。

正确的测试写法应该是把数字用引号包成字符串，同时指定解析的目标类型：

(read "10000.9" :: Double) + (read "1115" :: Double)

修复IO代码的方法 #

要让代码同时支持整数和浮点数输入，只需要显式指定read的目标类型为浮点类型（比如Double）：

calculIOTest :: IO ()
calculIOTest = do
   putStrLn "Give me two numbers"
   l1 <- getLine
   let x1 = read l1 :: Double
   l2 <- getLine
   let x2 = read l2 :: Double
   print (x1 + x2)

这样不管输入整数还是浮点数，都会被解析成Double类型，相加后正常输出。

内容的提问来源于stack exchange，提问作者Slayteuse