Haskell If 语句条件

Question

这是我第一次接触更“学术”的编程语言。来自 Java/C 领域，我对 Haskell 中的 If 语句有很多问题。似乎所有示例都使用单个参数，并使用简单的 gt、ls 或 eq 进行比较。

我试图做的是检查函数的参数是偶数还是奇数，然后根据该结果返回一个值。这是为了加快指数的计算，如：

n^k = (n^(k/2))^2 如果 k 是偶数

n^k = n * n^(k-1) 如果 k 是奇数

这是我目前所拥有的：

fastExp1 :: Integer -> Integer
fastExp1 x y =
    if y `mod` 2 = 1
        then x * x^(y-1)
    else if y `mod` 2 = 0
        then (x^(y/2))^2
    else 0

我尝试使用受保护的方程式来构建它，但我似乎无法理解如何构建它：

fastExp2 :: Integer -> Integer
fastExp2 x y | (x `mod` 1) = 0     = (x^(y/2))^2
             | (x `mod` 1) = 1     = x * x^(y-1)
             | otherwise = 0

在 Java 中，这不是什么问题：

public static int fastExp1 (int x, int y) {
    if (y%2 == 0) {
        // The exponent was even.
        return (int) Math.pow((Math.pow(x,(y/2))), 2);
    } else if (y%2 == 1) {
        // The exponent was odd.
        return (int) Math.pow((x*x), (y-1));
    } else {
        return 0;
    }
}

我可以确认 Java 代码按预期工作，但使用 Haskell 我得到了：

C:\hello.hs:16:5:

if 语句中的解析错误：缺少必需的 then 和 else 子句

失败，已加载模块：无。

Answer 1

正如 cmets (chepner & Ben) 中所指出的，Haskell 使用 == 进行比较，而 = 用于定义。

对于未来的读者，这里是完整的代码：

fastExp1 :: Integer -> Integer -> Integer
fastExp1 x y =
    if y `mod` 2 == 1
      then x * x^(y-1)
      else if y `mod` 2 == 0
      then (x^(y `div` 2))^2
    else 0

fastExp2 :: Integer -> Integer -> Integer
fastExp2 x y | (y `mod` 2 == 0)     = (x^(y `div` 2))^2
             | (y `mod` 2 == 1)     = x * x^(y-1)
             | otherwise = 0

正如 leftaroundabout 所建议的，fastExp2 也可以通过以下方式完成：

fastExp2 x y | (y',0) <- y`divMod`2 = (x^y')^2
             | otherwise = x * x^(y-1)