Haskell If Statement Condition

Question

Это мой первый раз попав в более «академические» языки программирования. Исходя из земли Java/C, у меня возникают некоторые проблемы с операторами If в Haskell. Кажется, что все примеры используют один аргумент и простые gt, ls или eq для сравнения.

Что я пытаюсь сделать, это проверить, является ли аргумент функции четным или нечетным, а затем вернуть значение, основанное на этом результате. Это позволяет ускорить вычисление экспоненты, как:

п^к = (п^(к/2))^2, если к четно

п^к = п * п^(K-1), если к нечетно

Вот что я до сих пор:

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:

ошибка синтаксического анализа в случае утверждение: отсутствует обязательное то и еще пункты

Ошибка, модули загружены: нет.

Answer 1

Как было отмечено в комментариях (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)