将参数约束为Int

Question

我正在尝试声明一个函数，其中数值参数只能是Int。

我正在编写一个函数，它将丢弃列表中的每个n个元素。我正在使用模运算，但是mod函数只接受一种类型的Int，我不知道如何保证我的数字将满足这一要求。

我的代码如下：

dropEvery :: (Num n, Eq n) => n -> [a] -> [a]
dropEvery m list = [list !! i | i <- [1 .. length list], i `rem` m /= 0]

我已经运行了:info mod并将Num n替换为Real n, Enum n and Integral n (我可以在输出中看到的所有约束)，但这仍然不能保证编译器n将是一个Int。

我相信这个问题是有解决方案的，但我想利用这个机会通过正面解决这个问题来更多地了解Haskell中的类型和约束是如何工作的。

Answer 1

您只需使用实际的类型Int，而不是使用约束(Num n, Eq n)。(请注意，Haskell使用基于0的列表索引，因此我必须添加一个-1才能正常工作。)

dropEvery :: Int -> [a] -> [a]
dropEvery m list = [list !! (i-1) | i <- [1 .. length list], i `rem` m /= 0]

main = print $ dropEvery 3 [1..20]

Try it online!

如果希望避免使用!!，还可以使用zip来避免显式查找列表的长度，它将列表理解替换为

[ l | (l,i) <- zip list [0..], (i+1) `rem` m /= 0]