Haskell - определение функции со стражами внутри «где»

Я только начинаю учить себя Haskell. Этот код должен выполнять простую факторизацию:

divides :: Integer -> Integer -> Bool
divides small big = (big `mod` small == 0)

lowestDivisor :: Integer -> Integer
lowestDivisor n = lowestDivisorHelper 2 n
    where lowestDivisorHelper m n
        | (m `divides` n) = m  -- these should belong to lowestDivisorHelper
        | otherwise = lowestDivisorHelper (m+1) n

primeFactors :: Integer -> [Integer]
primeFactors 1 = []
primeFactors n
    | n < 1 = error "Must be positive"
    | otherwise = let m = lowestDivisor n
                  in m:primeFactors (n/m)

Я получаю ошибку разбора закомментированной строки. Я думаю, что моя проблема может быть в том, чтоlowestDivisorHelper имеет охранники, но компилятор не знает, принадлежат ли охранникиlowestDivisorHelper или жеlowestDivisor, Как мне обойти это?

Я должен добавить, что я не хотел определять вспомогательную функцию на верхнем уровне, чтобы скрыть детали реализации. Импорт файла не должен использовать вспомогательную функцию.

 Alexey Romanov11 нояб. 2012 г., 05:45
«Импорт файла не должен использовать вспомогательную функцию». В этом случае просто не экспортируйте его.

Ответы на вопрос(1)

Решение Вопроса
lowestDivisor :: Integer -> Integer
lowestDivisor n = lowestDivisorHelper 2 n where 
  lowestDivisorHelper m n
        | (m `divides` n) = m  -- these should belong to lowestDivisorHelper
        | otherwise = lowestDivisorHelper (m+1) n

чтобы охранники были достаточно отступы при сравнении. (И вы также забыли аргумент,n.) Это также будет работать:

lowestDivisor :: Integer -> Integer
lowestDivisor n = lowestDivisorHelper 2 n 
    where 
  lowestDivisorHelper m n
        | (m `divides` n) = m  -- these should belong to lowestDivisorHelper
        | otherwise = lowestDivisorHelper (m+1) n

но это не так:

lowestDivisor :: Integer -> Integer
lowestDivisor n = lowestDivisorHelper 2 n 
  where lowestDivisorHelper m n
        | (m `divides` n) = m  -- these should belong to lowestDivisorHelper
        | otherwise = lowestDivisorHelper (m+1) n

Ключевым моментом является то, что| должно быть дальше вправо, чем имя функции.

В общем, начало новой строки продолжает предыдущую до тех пор, пока она находится дальше вправо. Охранники должны продолжать от имени функции.

 Vitus11 нояб. 2012 г., 01:28
Ах, я просто написал комментарий, что ваш последний пример был в порядке.

Ваш ответ на вопрос