Блог

Я написал эту небольшую программу, и меня немного смущает ее поведение:

 main = sequence $ iterate (printAdd =<<) (pure 0)

printAdd x = do
  l <- getLine
  let y = x   read l
  print y
  pure  y
 

Я ожидал, что он будет выводить сумму всех целых чисел каждый раз, когда я ввожу новое. Он работает более или менее, но аккумулятор неоднократно сбрасывается на 0. Этот сброс происходит после первого входа, после третьего входа, после шестого входа и так далее (т. Е. он всегда работает на один вход больше, чем раньше).

Почему это происходит?

Как я могу предотвратить это?

iterate дает вам список все более длинных цепочек printAdd .

iterate возвращает список, в котором каждый элемент задается путем применения функции к предыдущему элементу. В документах вы можете увидеть эту иллюстрацию:

 iterate f x == [x, f x, f (f x), ...]
 

В вашем случае, f = (printAdd =<<) и. x = pure 0 Поэтому ваш список будет выглядеть следующим образом:

 iterate (printAdd =<<) (pure 0) = 
  [pure 0, (printAdd =<< pure 0), (printAdd =<< printAdd =<< pure 0), ...]
 

Каждый N-й элемент будет представлять собой цепочку из N printAdd вызовов, соединенных вместе, с нулем, введенным в первый

А затем sequence просто выполняет все эти элементы по порядку. Нулевой ничего не делает, первый считывает одно число и печатает его, второй считывает число, печатает, затем считывает другое число, затем печатает сумму и так далее. Каждый N-й элемент считывает N чисел и выводит их скользящие суммы.