Haskell Prelude.read: brak parse String

Question

z przykładów 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') 

ale gdy próbuję

read "asdf" :: String 

lub

read "asdf" :: [Char] 

otrzymuję wyjątek

Prelude.read No Parse

Co ja tu robię źle?

Answer 1

To dlatego, że reprezentacja ciąg masz nie jest reprezentacją ciąg o String, potrzebuje cytatów osadzone w ciągu samego:

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

To jest tak, że read . show === id dla String:

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

Na marginesie zawsze dobrze jest użyć funkcji readMaybe z Text.Read:

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

Pozwala to uniknąć (moim zdaniem) zepsutej funkcji read, która wywołuje wyjątek w przypadku niepowodzenia analizy składni.