从列表中删除第n个元素。

Question

从列表中删除第n个元素。

6

我自学 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 [] _ = []，并将其他句子稍微修改如下，就可以完全与上面的代码相同，并且看起来更短。

dropEvery :: [a] -> Int -> [a]
dropEvery 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

可以有人帮我弄清楚这个吗？

- Tengu

1

请注意，此函数的参数顺序是“错误”的；像这样的函数通常是 Int -> [a] -> [a]，在管道情况下通常更有用。为什么在该示例中将其放置在另一侧，我不知道。 - leftaroundabout

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Tarrasch · Accepted Answer

我认为它们是相同的，作者可以像你建议的那样简化代码。出于好奇，我使用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
[]

所以它们似乎是相同的。

因此，我们的学习成果：

Quickcheck非常适合这种类型的事情
不要低估你自己。 :)