让 putStrLn 在 if-else 块中工作

Question

我正在用 Haskell 编写回文解决方案，我希望函数在输入 null 时显示错误。我不想使用错误功能，因为它会停止程序。因此，我想使用 putStrLn 显示错误消息并继续循环。

我曾尝试使用 show 来更改给 putStrLn 的输入，但它不起作用并引发编译时类型错误。

main = do
    putStrLn "Hey there, What's up! ENTER WORD TO CHECK PALINDROME!"
    word <- getLine
    if null word
        then
            -- putStrLn "This is not a word!"
            main    
    else do
        putStrLn  $ show  $ checkPalindrome word
        main

checkPalindrome w = if reverse w == w then True else False

我希望它显示一个错误，但它只给出一个错误。显示停止安全错误的可能解决方案是什么？

Answer 1

如果您同时编写 putStrLn "this is not a word!" 和 main，则应在此处使用 do 块：

main = do
    putStrLn "Hey there, What's up! ENTER WORD TO CHECK PALINDROME!"
    word <- getLine
    if null word
        then do
            putStrLn "This is not a word!"
            main    
    else do
        putStrLn  $ show $ checkPalindrome word
        main

话虽如此，您可以通过在main 的do 块底部进行调用来简化上述操作：

main = do
    putStrLn "Hey there, What's up! ENTER WORD TO CHECK PALINDROME!"
    word <- getLine
    if null word
        then putStrLn "This is not a word!"
        else putStrLn  $ show $ checkPalindrome word
    main

或者我们可以，例如@Bergi says，甚至在main 块中添加更多内容，例如：

main = do
    putStrLn "Hey there, What's up! ENTER WORD TO CHECK PALINDROME!"
    word <- getLine
    putStrLn $ if null word
        then "This is not a word!"
        else show $ checkPalindrome word
    main

如果你在没有do 块的情况下写这个，Haskell 旨在解析putStrLn "This is not a word!" main。因此这意味着putStrLn 应该具有String -> IO a -> IO a 类型，但事实并非如此。

通过使用do 块，Haskell 将desugar the do block [Haskell'10 report] 转换为putStrLn "This is not a word!" >> main，这是合理的（至少对于类型系统而言）。由于绑定运算符的类型为(>>) :: Monad m => m a -> m b -> m b。