如何在 Haskell 中做一个递归主 function

Question

所以我想制作一个打印出 ASCII 三角形的程序。 该程序会询问您希望三角形的高度并将其打印出来并一直执行，直到您输入的数字为7 ，然后它绘制高度为 7 的三角形，程序停止。 如果数字是偶数，打印输出的三角形由“*”组成，如果数字是奇数，则由“#”组成。 我想通过递归调用主function 来做到这一点

triangle level character = draw level character 1 
      where draw level character accumulator
             | level <=0 = putStr("")
             | level > 0 = do 
                 putStrLn (replicate level ' ' ++ replicate accumulator character)
                 draw (level-1) character (accumulator+2)

main = do
    number <- readLn :: IO Int
    if(number `mod` 2 == 0)
      then
        triangle number'*'
        main 
     else if (number == 7)
       then triangle number '#'
       else triangle number '#'
       main

我得到的错误是

• Couldn't match expected type ‘IO () -> IO ()’
              with actual type ‘IO ()’
• The function ‘triangle’ is applied to three arguments,
  but its type ‘Int -> Char -> IO ()’ has only two
  In the expression: triangle number '*' main
  In a stmt of a 'do' block:
    if (number `mod` 2 == 0) then
        triangle number '*' main
    else
        if (number == 7) then
            triangle number '#'
        else
            triangle number '#' main

Answer 1

错误说：

• The function ‘triangle’ is applied to three arguments,
  but its type ‘Int -> Char -> IO ()’ has only two
  In the expression: triangle number '*' main

因此编译器已将您的代码解析为triangle number '*' main ； 这意味着triangle number '*'和main之间的换行符不会被解释为do块语句中断，原因是您不在do块内！ 在triangle number '#' main的后面else子句中也出现了同样的错误。 解决方法是添加一个do ：

main = do
    number <- readLn :: IO Int
    if(number `mod` 2 == 0)
      then do
        triangle number'*'
        main 
     else if (number == 7)
       then triangle number '#'
       else do
         triangle number '#'
         main

如果你对 Haskell 的布局规则有疑问，你总是可以在块和分号周围使用显式的花括号{ ... } ; 块项目之间，以检查您对如何解析代码的理解。

main :: IO ();  -- end signature
main = do {  -- begin ‘do’
    number <- readLn :: IO Int;  -- end statement
    if (number `mod` 2 == 0)
      then do {
        triangle number '*';
        main;
      }
      else if (number == 7)
      then triangle number '#'
      else do {
        triangle number '#';
        main;
      };  -- end ‘do’, end statement (starting with ‘if…’)
};  -- end ‘do’, end equation

另外，请注意我在字符文字周围放置了空格，例如… number '*' …而不是… number'*' … 。 标识符中允许使用撇号（作为“主要”符号'的 ASCII 近似值），因此如果您将其更改为number'X' ，那么它将被解析为单个名称number'X' ，而不是后面的名称number通过字符文字'X' ，这可能会令人困惑。

Answer 2

首先，你在这里错过了一个do ：

      then
        triangle number'*'
        main 

then的两行将被一起解释为triangle number '*' main （如果您注意到，这就是它在错误消息中的引用方式）。 为了将这两行分别解释为后续操作，它们需要在do内：

      then do
        triangle number'*'
        main 

最后一个块存在同样的问题，加上不明确的缩进。 应该是：

else do
  triangle number '#'
  main