堆栈溢出非常简单的代码

Question

我是一个Haskell新手，所以我可能会遗漏一些基本的东西 - 在这种情况下道歉，但我不知道下面的代码有什么问题以及为什么它溢出堆栈。 这是为了找到[1..x]中所有数字都能被整除的最小数字，这里使用[1,2]（项目欧拉问题5是[1..20]）。

module Main where

main::IO()
main = do
    putStrLn $ show s where s = func 1

func :: Int -> Int
func x
    | foldr1 (&&) [x `mod` y == 0 | y <- [1..2]] == True = x 
    | otherwise = func x+1

我想它应该打印出'2'。

我也试过用and [mod xy == 0 | y <- [1..2]] == True = x and [mod xy == 0 | y <- [1..2]] == True = x而不是第一个后卫。 在这两种情况下，我在尝试运行时都会出现堆栈溢出。 我已经解决了这个问题，把所有东西放在主要加上一个列表理解，但我想知道这个有什么问题。 谢谢！

Answer 1

问题（或者至少是一个问题 - 我还没有检查过其他问题）就在这一行：

| otherwise = func x+1

你打算这样做

| otherwise = func (x+1)

但它被解析为

| otherwise = (func x)+1

功能应用程序的优先级高于任何运算符。