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

[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

Re: Здравствуйте, извините что без стука

[deni-ok.livejournal.com]

Да, правильно; полезно еще понять, почему это так.

Re: Здравствуйте, извините что без стука

[unstablebear.livejournal.com]

С пониманием сложнее, да. Ну да выше разъяснили что к чему.