Iterators вызывают наблюдаемые мутации

У итераторов есть одно существенное свойство: они отделяют потребителя от производителя Iterable, выступая в качестве посредника. С точки зрения потребителя источник данных абстрагирован. Это может быть Array, Object или Map. Это совершенно непрозрачно для потребителя. Теперь, когда управление процессом итерации перешло от производителя к Iterator, последний может установить механизм вытягивания, который может лениво использовать потребитель.

Для управления своей задачей Iterator должен отслеживать состояние итерации. Следовательно, он должен иметь состояние. Это само по себе не вредно. Однако это становится вредным, как только становятся заметными изменения состояния:

const xs = [1,2,3,4,5];

const foo = itor => Array.from(itor);

const itor = xs.keys();

console.log(itor.next()); // 0

// share the iterator

console.log(foo(itor)); // [2,3,4,5] => observed mutation

console.log(itor.next()) // {value: undefined, done: true} => observed mutation

Эти эффекты возникают, даже если вы работаете только с неизменяемыми типами данных.

Как функциональный программист, вы должны избегать Iterator или, по крайней мере, использовать их с большой осторожностью.

Чистый итератор очень прост. Все, что нам нужно это

• текущее значение
• замыкание, продвигающее итератор
• способ сигнализировать, что итератор исчерпан
• соответствующую структуру данных, содержащую эти свойства

const ArrayIterator = xs => {
  const aux = i => i in xs
    ? {value: xs[i], next: () => aux(i + 1), done: false}
    : {done: true};

  return aux(0);
};

const take = n => ix => {
  const aux = ({value, next, done}, acc) =>
    done ? acc
      : acc.length === n ? acc
      : aux(next(), acc.concat(value));

  return aux(ix, []);
};

const ix = ArrayIterator([1,2,3,4,5]);

console.log(
  take(3) (ix));
  
console.log(
  ix.next().value,
  ix.next().value,
  ix.next().next().value)

Нигде нет глобального состояния. Вы можете реализовать его для любого итерируемого типа данных. take является универсальным, то есть работает с итераторами любого типа данных.

Может ли кто-нибудь объяснить мне, почему нативные итераторы имеют состояние? Почему разработчик языка ненавидит функциональное программирование?