如何在 Haskell 中将函数的结果用作另一个函数的变量？

Question

我正在尝试学习如何使用 Haskell，现在我必须编写一个程序，它需要一个整数 n 和一个字符串 k，并且该字符串的每个字母都将在字母表中向右移动 n 个位置。此时我得到了下一个代码：

import Data.Char

main = do
    x <- read getLine :: Int
    y <- getLine
    caesar x y

result :: String

rotate :: Int -> Char -> [Char]
rotate a b = [chr ((a + ord b) `mod` ord 'z' + ord 'a')]

caesar :: Int -> String -> ()
caesar moving text= do
    rotatespecific moving text 0
    putStrLn result


rotatespecific :: Int -> String -> Int -> ()
rotatespecific moving text place = do
    if place < length text
        then
            result ++ rotate (moving (text !! place))
            rotatespecific (moving text (place + 1))
        else
            if place == length text
                then
                    result ++ rotate (moving (text !! place))

但我无法编译它，因为它仍然给我同样的错误信息：

parse error (possibly incorrect indentation or mismatched brackets)
   |
28 |                     result ++ rotate (moving (text !! place))
   |                                                              ^

但我看不出我的语法有什么问题。我首先认为这与使用 Char 作为我的函数的参数有关，但我错了，因为 text !! place 应该给出一个 char 而不是 [char]。那我做的有什么问题呢？

经过一些编辑，我得到了这个，但它仍然不起作用：

import Data.Char

main = do
    xr <- getLine
    let x = read xr :: Int
    y <- getLine
    putStrLn (rotatespecific (x y 0))

rotate :: Int -> Char -> [Char]
rotate a b = [chr ((a + ord b) `mod` ord 'z' + ord 'a')]

rotatespecific :: Int -> String -> Int -> String
rotatespecific moving text place = do
    if place < length text
        then do
            help <- text !! place
            h <- rotate (moving help)
            a <- rotatespecific (moving text (place + 1))
            b <- h ++ a
            return b

        else
            if place == length text
                then do
                    return rotate (moving (text !! place))
                else
                    return ()

Answer 1

直接的问题是每个if 都必须有一个else。最后你得到一个解析错误，因为解析器期待更多，即 else 对应 if place == length text。

当您解决此问题时，您将遇到更多问题，因为您将 Haskell 视为一种命令式语言，而她不喜欢这样对待。好像你觉得

result ++ newstuff

将改变result，在其末尾添加newstuff。但是 Haskell 不会变异。相反，这个表达式result ++ newstuff 是连接result 和newstuff 时产生的列表，但result 本身保持不变。

ghci> let result = [1,2,3]
ghci> result ++ [4,5,6]
[1,2,3,4,5,6]
ghci> result
[1,2,3]

rotatespecific 必须return 旋转后的字符串，而不是试图改变它的存在。函数可以通信的唯一方式是返回从它们的参数计算的结果——它们可能不会像result 那样操纵任何“全局”状态。返回() 的函数保证是无用的。

rotatespecific :: Int -> String -> Int -> String

删除result“全局变量”（这并不意味着你认为它的意思）并专注于定义rotatespecific，使其返回旋转后的字符串。

我还建议现在将 main 和 caesar 注释掉，直到您在 ghci 中测试时 rotatespecific 编译并工作。

Answer 2

我觉得现在是展示一个例子的合适时机，因为有很多小问题。我不会修复逻辑错误，但我已经修复了你的语法。希望这能让你摆脱困境。

rotatespecific :: Int -> String -> Int -> String
rotatespecific moving text place =
    if place < length text then
        -- use let .. in instead of do/bind (<-) in pure functions. 
        let help = text !! place

            -- multiple arguments are given after the function, no parentheses
            h = rotate moving help

            -- use parentheses around an argument if it is a complex expression
            -- (anything more than a variable name)
            a = rotatespecific moving text (place+1)

            b = h ++ a
        in b
    else
        if place == length text then
            rotate moving (text !! place)
        else
            undefined -- you must decide what String to return in this case.

在您使此功能按预期工作后，然后才打开这个密封的信封。 ♥️

rotatespecific :: Int -> String -> String rotatespecific 移动文本 = concatMap（旋转移动）文本