сопоставления с образцом в Haskell и Erlang

Question

У меня есть небольшая функция Эрланга, которая сравнивает, если два списка равны:

myEq([], [])   -> true; 
myEq([X|Xs], [X|Ys]) -> myEq(Xs, Ys); 
myEq(_, _)   -> false. 

Сравнение происходит на линии 2, X из [X|Xs] всегда связывается с первым элементом первый список, [X|Ys] соответствует только в том случае, если первые элементы обоих списков равны.

Если я попробую это в Haskell, я получаю сообщение об ошибке: «Конфликтующие определения для x». Возможное решение в Haskell будет:

myEq (x:xs) (y:ys) = if x == y then myEq xs ys else False 

Но я хотел бы знать, если это возможно сделать в Haskell, используя поиск по шаблону?

Answer 1

Нет, в Haskell вы не можете использовать ту же переменную x в начале предложения. Haskell делает не сделать объединительные или проверяет равенство как, например, соответственно Пролог и Erlang делать. Это указывается в отчете о Haskell '98:

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

(скопировано, полужирный добавлено)

Единственный способ сделать это с помощью защитного (или любой другой тип проверки в теле, конечно). Однако Вы можете написать это более элегантно, как:

myEq [] [] = True 
myEq (x:xs) (y:ys) | x == y = myEq xs ys 
--     | otherwise = False 
myEq _ _ = False 

otherwise случай может быть опущен, так как Haskell будет Откат на последнем пункте, и, таким образом, вернуть False.

Или, возможно, еще более элегантна:

myEq [] [] = True 
myEq (x:xs) (y:ys) = x == y && myEq xs ys 
myEq _ _ = False 

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

Answer 2

№ Любая переменная может быть привязана не более одного раза на стороне соответствия шаблону. Если вы хотите связать переменную дважды, вам придется оценивать ее для унификации.