如何在非双引号的字符串上使用 read ？

Question

我正在使用 readLn 从控制台读取值。

我想编写一个函数：

requestValue :: String -> IO a  
requestValue s = do  
  putStrLn $ "Please enter a new value for " ++ s   
  readLn

然后我就可以这样做，例如，

changeAge :: Person -> IO Person
changeAge p = do
    age' <- requestValue "age"
    return $ p { age = age'}

changeName :: Person -> IO Person
changeName p = do
    name' <- requestValue "name"
    return $ p { name = name'}

我遇到的问题是 String 的读取实例似乎要求字符串用引号引起来。当我真的只想输入 Fred 时，我不想在控制台中输入 "Fred" 来更改名称。

有没有一种简单的方法可以保持 requestValue 的多态性？

Answer 1

由于您想要为用户名添加自己的自定义read 行为，因此执行此操作的方法是实际为读数名称编写一个新实例。为此，我们可以为名称创建一个新类型：

import Control.Arrow (first)

newtype Name = Name { unName :: String }
    deriving (Eq, Ord, Show)

并为其编写一个自定义的读取：

instance Read Name where
    readsPrec n = map (first Name) . readsPrec n . quote
        where quote s = '"' : s ++ ['"'] 

这与字符串的读取实例相同，但我们首先引用字符串，读入后。

现在您可以修改 Person 类型以使用 Name 而不是 String：

data Person = Person { age :: Int
                     , name :: Name } deriving Show  

并且我们正在做生意：

*Main> changeName (Person 31 (Name "dons"))
Please enter a new value for name
Don
Person {age = 31, name = Name {unName = "Don"}}

Answer 2

您需要 getLine，而不是 readLn。