Я выполнял 99 проблемы в Haskell, когда я столкнулся с solution до Проблема 19, которую я не совсем понял.
Задача состоит в том, чтобы написать функцию rotate, которая работает следующим образом
*Main> rotate ['a','b','c','d','e','f','g','h'] 3
"defghabc"
*Main> rotate ['a','b','c','d','e','f','g','h'] (-2)
"ghabcdef"
Одно из решений -
rotate [] _ = []
rotate l 0 = l
rotate (x:xs) (n+1) = rotate (xs ++ [x]) n
rotate l n = rotate l (length l + n)
Я не понимаю, как совпадение шаблонов может когда-либо достигнуть четвертой строки. Кажется, что это связано с (n+1), так что, когда n отрицательно, третья строка не соответствует, и поэтому четвертая взята. Если это так, то почему обозначение (n+1) работает таким образом, соответственно. разве это не произвольно или это соглашение (по математике?), о котором я не знаю?
Так как я понимаю, это то, что rotate называется рекурсивно в третьей строке с аргументом n, уменьшенным на единицу. Поэтому я думаю, что
rotate [] _ = []
rotate l 0 = l
rotate (x:xs) n = rotate (xs ++ [x]) (n-1)
rotate l n = rotate l (length l + n)
эквивалентен. Однако это не так. Это определение дает следующее предупреждение
Warning: Pattern match(es) are overlapped
In the definition of `rotate': rotate l n = ...
тогда как прежнее определение компилируется просто отлично.
