为何`read "1" :: Maybe Int`可通过类型检查却运行时抛异常？

哈哈，这个问题刚好戳中了Haskell里read函数一个很容易踩的坑，我来一步步给你掰扯清楚：

1. 为什么read "1" :: Maybe Int能编译但运行抛异常？ #

首先得明确read的类型签名：Read a => String -> a。它的逻辑是只要目标类型a属于Read类型类，就能通过类型检查——而Maybe Int确实是Read的实例（因为Int是Read，Haskell为Maybe自动派生了Read实例，规则是解析类似Just 1或Nothing这样的字符串）。

但编译阶段只做类型合法性检查，不会验证输入字符串的格式是否符合目标类型的解析规则。当你运行read "1" :: Maybe Int时，read试图把"1"解析成Maybe Int，但它期望的输入是"Just 1"或者"Nothing"这种符合Maybe语法的字符串，单纯的"1"完全不匹配，所以就抛出了Prelude.read: no parse的异常。

2. read能不能返回Maybe a类型的值？ #

当然可以，但有个前提：输入字符串必须严格符合Maybe a的解析格式。比如你试下面的代码，就会正常返回Just 1：

Prelude> read "Just 1" :: Maybe Int
Just 1

但read的设计是解析失败就抛出异常，不会自动把失败转换成Nothing——这也是它的局限性所在：一旦输入不符合格式，程序就会崩溃，非常不友好。

3. Text.Read.readMaybe的设计用途 #

这就是readMaybe存在的意义！它专门解决了read抛异常的问题，类型签名是Read a => String -> Maybe a：

• 当输入字符串能成功解析成目标类型时，返回Just 对应的值
• 当解析失败时，返回Nothing，完全不会抛出异常

举几个实用的例子：

Prelude> import Text.Read (readMaybe)
Prelude Text.Read> readMaybe "1" :: Maybe Int
Just 1
Prelude Text.Read> readMaybe "abc" :: Maybe Int
Nothing
Prelude Text.Read> readMaybe "Nothing" :: Maybe Int
Nothing

这样你就可以用模式匹配或者Maybe相关的函数（比如maybe、>>=）来安全处理解析结果，再也不用担心因为输入格式问题导致程序崩溃了。

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