Haskell Prelude.read : no parse String

Question

来自 haskell 示例 http://learnyouahaskell.com/types-and-typeclasses

ghci> read "5" :: Int  
5  
ghci> read "5" :: Float  
5.0  
ghci> (read "5" :: Float) * 4  
20.0  
ghci> read "[1,2,3,4]" :: [Int]  
[1,2,3,4]  
ghci> read "(3, 'a')" :: (Int, Char)  
(3, 'a')  

但是当我尝试

read "asdf" :: String 

或

read "asdf" :: [Char]

我遇到异常

Prelude.read No Parse

我在这里做错了什么？

Answer 1

这是因为您拥有的字符串表示形式不是 String 的字符串表示形式，它需要在字符串本身中嵌入引号:

> read "\"asdf\"" :: String
"asdf"

这是为了读取。显示=== id 对于字符串:

> show "asdf"
"\"asdf\""
> read $ show "asdf" :: String
"asdf"

顺便说一句，使用 Text.Read 中的 readMaybe 函数始终是一个好主意:

> :t readMaybe
readMaybe :: Read a => String -> Maybe a
> readMaybe "asdf" :: Maybe String
Nothing
> readMaybe "\"asdf\"" :: Maybe String
Just "asdf"

这可以避免(在我看来)损坏的 read 函数，该函数会在解析失败时引发异常。