Upuść n-ty element z listy

Question

Uczę się Haskella przez miesiąc lub jakiś czas temu i dzisiaj czytałem rozwiązanie 16. problemu i zadałem pytanie.

Oto link: http://www.haskell.org/haskellwiki/99_questions/Solutions/16

Zasadniczo, to pytanie zadaje zrobić funkcję, która spada każdy element N'th z listy. Na przykład

*Main> dropEvery "abcdefghik" 3

"abdeghk"

Pierwsze rozwiązanie w linku jest

dropEvery :: [a] -> Int -> [a] 
dropEvery [] _ = [] 
dropEvery (x:xs) n = dropEvery' (x:xs) n 1 
    where 
     dropEvery' (x:xs) n i = (if (n `divides` i) then [] else [x])++ (dropEvery' xs n (i+1)) 
     dropEvery' [] _ _ = [] 
     divides x y = y `mod` x == 0 

Moje pytanie brzmi dlaczego dropEvery definiuje przypadku pustych list podczas dropEvery”może zająć pusta lista? Myślę, że dropEvery [] _ = [] można po prostu wyeliminować i zmodyfikować trochę innych zdań, ponieważ poniższe polecenia powinny działać dokładnie tak samo jak powyżej i wyglądają na krótsze.

Czy ktoś może mi pomóc dowiedzieć się o tym?

Answer 1

Sądzę, że są takie same i autor mógł uprościć kod zgodnie z sugestiami. Dla do cholery próbowałem obu wersji z QuickCheck i wydają się być takie same.

---

import Test.QuickCheck 

dropEvery :: [a] -> Int -> [a] 
dropEvery [] _ = [] 
dropEvery (x:xs) n = dropEvery' (x:xs) n 1 
    where 
     dropEvery' (x:xs) n i = (if (n `divides` i) then [] else [x])++ (dropEvery' xs n (i+1)) 
     dropEvery' [] _ _ = [] 
     divides x y = y `mod` x == 0 

dropEvery2 :: [a] -> Int -> [a] 
dropEvery2 xs n = dropEvery' xs n 1 
    where 
     dropEvery' (x:xs) n i = (if (n `divides` i) then [] else [x])++ (dropEvery' xs n (i+1)) 
     dropEvery' [] _ _ = [] 
     divides x y = y `mod` x == 0 

theyAreSame xs n = (dropEvery xs n) == (dropEvery2 xs n) 
propTheyAreSame xs n = n > 0 ==> theyAreSame xs n 

I ghci można zrobić

*Main> quickCheck propTheyAreSame 
+++ OK, passed 100 tests. 

ja również testowane kilka przypadków narożne ręcznie

*Main> dropEvery [] 0 
[] 
*Main> dropEvery2 [] 0 
[] 
*Main> dropEvery [] undefined 
[] 
*Main> dropEvery2 [] undefined 
[] 

Więc im wydają się takie same.

Więc nasi Efekty kształcenia:

1. QuickCheck jest idealne do tego rodzaju rzeczy
2. Nie lekceważ siebie. :)