pow功能的无限循环

Question

我是Haskell的新手,我在这里得到了一个无限循环,但我不知道为什么.

module Main where

pow :: Int -> Int -> Int
pow x 0 = 1
pow x y = x * pow x y-1

main :: IO ()
main = print( pow 2 3 )

有任何想法吗？

Answer 1

pow x y = x * pow x y-1

不会做你认为它做的事情.它被解析为

pow x y = (x) * (pow x y) - (1)
                ^^^^^^^^^
               infinite loop

现在,您可以更清楚地看到无限循环.你需要括号y-1,

pow x y = x * pow x (y-1)