リストからn番目の要素を削除

Question

私は1ヶ月ほど自分自身にハスケルを教えてきましたが、今日は16番目の問題の解決策を読んでいて、質問がありました。ここで

がリンクである：http://www.haskell.org/haskellwiki/99_questions/Solutions/16

基本的に、この質問は、リストからすべてのN番目の要素をドロップ機能を作成するように求められます。例えば 、

*Main> dropEvery "abcdefghik" 3

"abdeghk"

リンクの最初のソリューションは、dropEveryがdropEveryは「の世話をすることができますしながら、空のリストの場合を定義し、なぜ私の質問がある

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 

です空リスト？ 私はdropEvery [] _ = []を単に排除して、次のように他の文章を少し変更するだけで、上記と全く同じように動作し、より短く見えるはずだと思います。

誰でも私がこれについて把握するのを助けることができますか？

Answer 1

私は彼らは同じだと思うし、作者はあなたが示唆したようにコードを単純化できたと思う。それの地獄のために私はQuickCheckと両方のバージョンを試して、彼らは同じように見えます。

---

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 

そして、GHCiの中で、あなたは

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

を行うことができます彼らは同じように見えるので、私はまた、手で

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

をいくつかのコーナーケースをテストしました。

だから、私たちの学習成果：

1. Quickcheckは自分を過小評価しないでくださいもの
2. この種のに最適です。 :)