为什么"读取"1"：：也许是 Int"类型检查？

Question

我想知道为什么read "1" :: Maybe Int会在运行时键入检查并抛出异常。

read有可能返回Maybe a吗？这是Text.Read.readMaybe应该做的。

Prelude> read "1" :: Maybe Int
*** Exception: Prelude.read: no parse

Answer 1

我想知道为什么read "1" :: Maybe Int会键入检查

因为"1"具有String类型，因此可以接受作为read的参数，并且Maybe Int实现Read，因此可以作为返回类型的Read。

并在运行时引发异常。

因为"1"不是Maybe Int的有效字符串表示形式。

读取是否有可能返回Maybe a？

是的，例如read "Just 42" :: Maybe Int是Just 42，read "Nothing" :: Maybe Int是Nothing.

基本上，您可能从show x中获取的任何字符串，其中x :: Maybe Int也可以作为参数提供给read以获取Maybe Int。

或者更一般地说，任何show x的输出，其中x :: T和T是Show和Read的实例，都可以提供给read以获得类型T的值 - 尽管当然实例可以任意定义，因此并非每个实现Read和Show的类型都必须遵守该"契约"。

Answer 2

简而言之：您解析Maybe a类型的文本表示形式，而不是a为非总函数，其中Nothing用于指定解析失败。

好吧，read通常与show相反。因此，它将解析对象的表示形式，这通常是您将对象作为级联数据构造函数写入对象的方式。

现在Maybe a是Show族的一种类型，因为它包装的元素也是Show的实例，如下所示：

instance Show a => Show (Maybe a) where
show Nothing = "Nothing"
show (Just x) = "Just "++ show x

(实际上它有点复杂，因为它还会引入括号，例如，如果您将Just 1包装在Just中(。

所以反过来也可以解析。例如：

Prelude> read "Nothing" :: Maybe Int
Nothing
Prelude> read "Just5" :: Maybe Int
Just 5

因此，Maybe a作为一种read类型不是用于">非总计"函数，而是用于解析Maybe a类型的文本表示。

因此，它解析带有前缀"Nothing"和"Just"的字符串(也可以解析一些带括号的此类"表达式"(。