Haskell 实现一个 IO 代码

Question

我正在尝试用这个概念实现一个 IO 代码：

• 向用户询问电影名称
• 检查影片是否存在，如果不存在则返回主菜单
• 如果是，程序会询问用户评分
• 它检查它是否是一个有效的整数，如果是的话
• 程序会检查用户是否已经为这部电影投票
• 如果他这样做了，然后询问他是否要修改评级
• 如果用户的输入不等于“y”，则程序应返回主菜单
• 如果用户键入“y”，则应使用当前评级更新数据库。

我试过这个：

if input /= "y"
    then do return (username, database)
    else do putStrLn "Your vote will be modified."

但我收到此错误：

Couldn't match expected type `()'
                with actual type `(String, Database)'
    In the first argument of `return', namely `(username, database)'
    In a stmt of a 'do' block: return (username, database)
    In the expression: do { return (username, database) }
Failed, modules loaded: none.

如果这样运行：

if input /= "y"
    then do return (username, database)
    else do putStrLn "Your vote will be modified."

即使用户的输入不等于“y”，数据库也会被更新。 我不知道返回（用户名，数据库）的问题出在哪里

代码是：

options 7 (username, database) = do
    putStrLn "******************"
    putStrLn "   Rate a film    "
    putStrLn "******************"
    putStrLn ""
    putStr "Enter the title of the film or nothing to return to the main menu: "
    title <- getLine
    if title == ""
        then return(username, database)
        else do
            let filmCheck = findFilm title database
            if filmCheck == []
                then do
                    putStrLn "That film does not exists."
                    return (username, database) 
                else do
                    putStr "Enter your rate: "
                    tempRate <- getLine
                    case reads tempRate :: [(Integer, String)] of
                         [(n, "")] -> do
                            let rate = read tempRate :: Int
                            let tempFilm = rateFilm username (username, rate) filmCheck
                            when (checkIfRated username tempFilm == True) $ do
                                putStrLn "You already voted for this film\n"
                                putStrLn "Do you want to modify your vote?\n"
                                putStrLn "Press y to modify or nothing to return to the main menu:"
                                input <- getLine
                                if input /= "y"
                                    then do return (username, database)
                                    else do putStrLn "Your vote will be modified."
                            let database = tempFilm:database
                            putStrLn "You rating has been  sumbited successfully!"
                            putStrLn (displayFilm tempFilm)
                            return (username, database)
                         _ -> do
                            putStrLn "The number you entered is invalid."
                            return (username, database)

Answer 1

首先，您的缩进很不稳定。请记住，缩进在 Haskell 中很重要。如果你弄错了，你改变代码的含义！

乍一看，我认为问题出在这里：

if input /= "y"
  then do return (username, database)
  else do putStrLn "Your vote iwll be modified."

“do”关键字在这里实际上是多余的。但更重要的是，putStrLn 返回 ()，而 return 显然返回其他内容。这是你的错误。

另外，试着把它分解成更小的函数。这不是 Java...