Блог

Я пытаюсь объявить функцию, в которой числовым аргументом может быть только 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, решая эту проблему напрямую.

Вам просто нужно использовать фактический тип 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]
  

Попробуйте это онлайн!

Если вы хотите избежать !! , вы также можете избежать явного определения длины списка, используя zip который заменяет ваше понимание списка на

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