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

[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

[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 []
[]

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