В Haskell, какова сфера действия предложения where при работе с охранниками?

Question

Я знаю, что они не сохраняются при сопоставлении с образцом (т. Е. Вам нужно переписать условие 'where' для каждого образца), но как работает определение границ для охранников?

например. Это работает?

myFunction x1 x2
    | x1 > x2 = addOne x1
    | x1 < x2 = addOne x2
    | otherwise = x1
        where addOne = (1+)

Или это должно быть?

myFunction x1 x2
    | x1 > x2 = addOne x1
        where addOne = (1+)
    | x1 < x2 = addOne x2
        where addOne = (1+)
    | otherwise = x1

Answer 1

Первый правильный.Я бы посоветовал вам взглянуть на страницу let vs where на вики-странице haskell, это хорошее чтение (и оно также объясняет, как справляться со сферой).Как примечание, вы никогда не должны повторять одни и те же определения ... это признак того, что ваш код должен быть структурирован по-другому.

Answer 2

Область действия предложения where - это полное уравнение, поэтому ваш первый пример работает.