function - Haskell的read函数解释

Question

我想知道是否有人熟悉 Haskell 中 Prelude 的 read 函数。

该函数的类型如下。

Read a => String -> a

有人可以用几个例子解释一下如何使用这个函数以及可以将字符串转换成什么类型​​吗？

Answer 1

Read a => String -> a 表示 a 可以是作为 Read 类实例的任何类型。对于满足该要求的类型，它至少必须实现 Read 的 readPrec 或 readsPrec 函数。许多内置类型已提供实现，您可以使用deriving 为您自己的自定义data 类型生成实现。

要指定要读取字符串的内容，您可以直接键入注释调用:

read "1" :: Int

或者给包含对 read 调用的函数一个签名，以便编译器可以找出您想要的内容:

myFunc :: String -> Int
myFunc s = read s

签名表明该函数返回一个 Int，因此编译器可以推断要读取的类型 s 因为 myFunc 返回任何类型对 read 的调用评估为。