從列表中刪除第n個元素

Question

我一直在教自己的Haskell一個月左右，今天我正在閱讀第16個問題的解決方案，並提出了一個問題。

這裏是一個鏈接：http://www.haskell.org/haskellwiki/99_questions/Solutions/16

基本上，這個問題是問，使從列表降到每第N個元素的功能。 例如，

*Main> dropEvery "abcdefghik" 3

"abdeghk"

鏈路中第一個解決方案是

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定義空列表，而dropEvery」能照顧的情況下，空的清單？ 我認爲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. 快速檢查是非常適合這種東西
2. 不要小看自己。 :)