Тонкости точной семантики сопоставления с образцом

[deniok]

Хорошая хотя и простая задачка возникла в процессе проверки домашних заданий. Чем отличается поведение следующих двух функций, и в чем причина такого отличия:

diff xs = do
    p <- zip xs (tail xs)
    return $ abs (fst p - snd p)

diff' xs = do
    p <- zip (tail xs) xs
    return $ abs (fst p - snd p)

Comments

[thedeemon.livejournal.com]

Полагаю, разница в порядке попыток вычисления первого элемента списка и наличия второго. Если передать список из одной задницы, то в одном случае получится задница, во втором исключение. Мораль: нетотальные языки - пустая трата времени. :)

[zelych.livejournal.com]

Симпатичная загадка.

Разница в том, что diff' [] вычисляет сначала tail [] и отваливается с ошибкой.
Т.е. у zip только второй аргумент лениво вычисляется.

[deni-ok.livejournal.com]

Дело не конкретно в zip, zip-то можно сфэйлить и на втором аргументе

> (\xs -> zip xs (tail $ tail xs)) [42]
*** Exception: Prelude.tail: empty list

Дело в том, что сопоставление с образцом всегда делается сверху вниз (по уравнениям) и слева направо (по образцам-параметрам текущего уравнения). Поэтому, если первый в текущем уравнении образец представлен конструктором, то для сопоставления соответствующий параметр передаваемый в функцию должен быть приведен в WHNF. А у zip оказывается так, что если WHNF - это пустой список, то выбирается второе уравнение, которому пофиг на второй аргумент.

[zelych.livejournal.com]

Ага, спасибо за пояснения.

Т.е. (если я правильно пользуюсь терминами) zip всегда строгий по первому агрументу, и иногда не строгий по второму. А сопоставление с образцом -- это причина строгости/нестрогости.

[deni-ok.livejournal.com]

Мне не очень нравится термин "строгий" по отношению к функциям с богатой семантикой. Он слишком грубо описывает действительность. Ну вот сделаю я обычную take более определенной, чем в Prelude, переставив местами два первых уравнения:

take' _ []              =  []
take' n _      | n <= 0 =  []
take' n (x:xs)          =  x : take' (n-1) xs

Раньше take была строгая по первому аргументу, а стала "иногда нестрогая":

> take undefined []
*** Exception: Prelude.undefined
> take' undefined []
[]

Но понятно, что это же совершенно маргинальное улучшение!

[udpn.livejournal.com]

>> нетотальные языки - пустая трата времени

А нетотальные языки это вообще языки?

[thedeemon.livejournal.com]

Конечно. По Хомскому, даже Go - язык.