из примеров 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
Что я здесь делаю неправильно?
Это связано с тем, что строковое представление, которое у вас есть, не является строковым представлением String, ему нужны кавычки, встроенные в строку:
> read "\"asdf\"" :: String
"asdf"
Это так, чтобы read. show === id read. show === id для String:
> show "asdf"
"\"asdf\""
> read $ show "asdf" :: String
"asdf"
В качестве примечания, это всегда хорошая идея, чтобы вместо того, чтобы использовать readMaybe функцию из Text.Read:
> :t readMaybe
readMaybe :: Read a => String -> Maybe a
> readMaybe "asdf" :: Maybe String
Nothing
> readMaybe "\"asdf\"" :: Maybe String
Just "asdf"
Это позволяет избежать (по-моему) функции разбитого read которая вызывает исключение при сбое анализа.