Что такое "N+k patterns" и почему они запрещены в Haskell 2010?

что такое N + K паттернов? Взгляните на это:

$ ghci
GHCi, version 6.12.3: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ... linking ... done.
Prelude> let f 0 = 0 ; f (n+5) = n
Prelude> :t f
f :: (Integral t) => t -> t
Prelude> f 0
0
Prelude> f 1
*** Exception: <interactive>:1:4-24: Non-exhaustive patterns in function f

Prelude> f 2
*** Exception: <interactive>:1:4-24: Non-exhaustive patterns in function f

Prelude> f 3
*** Exception: <interactive>:1:4-24: Non-exhaustive patterns in function f

Prelude> f 4
*** Exception: <interactive>:1:4-24: Non-exhaustive patterns in function f

Prelude> f 5
0
Prelude> f 6
1

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

вот у меня есть функция f, который имеет два положения. Первое предложение соответствует 0 и только 0. Второе предложение соответствует любому значению типа Integral, значение которого равно 5 или больше. Связанное имя (n, в этом случае) имеет значение, равное числу, которое вы передали в минус 5. Что касается того, почему они были удалены из Haskell 2010, я надеюсь, что вы можете увидеть причину сейчас, просто немного подумав. (Подсказка: рассмотрим "принцип наименьшего удивления" и как он может или не может применяться здесь.)

---

редактировать, чтобы добавить:

теперь, когда эти конструкции запрещены, возникает естественный вопрос: "что вы используете для замены их?"

$ ghci
GHCi, version 6.12.3: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ... linking ... done.
Prelude> let f 0 = 0 ; f n | n >= 5 = n - 5
Prelude> :t f
f :: (Num t, Ord t) => t -> t
Prelude> f 0
0
Prelude> f 1
*** Exception: <interactive>:1:4-33: Non-exhaustive patterns in function f

Prelude> f 2
*** Exception: <interactive>:1:4-33: Non-exhaustive patterns in function f

Prelude> f 3
*** Exception: <interactive>:1:4-33: Non-exhaustive patterns in function f

Prelude> f 4
*** Exception: <interactive>:1:4-33: Non-exhaustive patterns in function f

Prelude> f 5
0
Prelude> f 6
1

вы заметите из утверждений типа, что они не совсем равны, но использование охранника "достаточно равно". Использование n-5 в выражении может стать утомительным и подверженным ошибкам в любом коде, который использует его более чем в одном месте. Ответ был бы использовать where пункт в следующем порядке:

Prelude> let f 0 = 0 ; f n | n >= 5 = n' where n' = n - 5
Prelude> :t f
f :: (Num t, Ord t) => t -> t
Prelude> f 0
0
Prelude> f 5
0
Prelude> f 6
1

The where предложение позволяет использовать вычисленное выражение в нескольких местах без риска опечатки. Есть все еще раздражает необходимость редактировать значение границы (5 в этом случае) в двух отдельных местах в определении функции, но лично я чувствую, что это небольшая цена, которую нужно заплатить за увеличение когнитивного понимания.

---

далее отредактировано, чтобы добавить:

если вы предпочитаете let выражения над where предложения, это альтернатива:

Prelude> let f 0 = 0 ; f n | n >= 5 = let n' = n - 5 in n'
Prelude> :t f
f :: (Num t, Ord t) => t -> t
Prelude> f 0
0
Prelude> f 5
0

и это все. Я действительно закончила.