ВВ>>Вообще вопрос можно задать так — почему итераторы не нужны в Хаскеле?

L>Потому что он весь из себя ленивый — ты свободно можешь создать бесконечный список и вернуть его из фнкции.

let where f x::xs = if f x then x :: (lazy where f xs) else where f xs
        | f []    = [];

for (;;) yield 1;

let fold f z x::xs = fold f (f z x) xs
       | f z []    = z

ВВ>Получается, что это функциональная обвертка над императивной штукой

[? List: (a, a * a) | a <- 1--10 ?]

[? String: a | a <-   'a'  -- 'z'  ?]

Ты так и не определил, что же такое правильный инструмент. ДАвай я это сделаю за тебя. Из твоего ответа видно, что ты считаешь правильным инструментом тот, который напрямую предназначен для решения этой задачи.
Так ты считаешь?

Так вот реальный мир против. Правильный инструмент это тот который решает поставленную задачу с наименьшими затратами (и сил и времени и всего остального).

bool hadString = false;
using(StreamWriter sw = OpenWriteStream())
foreach(var s in source.ReadStrings())
{
  if (hadString)
    sw.Write(", ");
  else 
    hadString = true;
  sw.Write(s);
}

using(StreamWriter sw = OpenWriteStream())
{
  var sProcessor = new sProcessor(sw);
  source.ReadStrings(sProcessor.Process)
}
...

private class sProcessor
{
  private bool _hadString = false;
  private StreamWriter _sw;
  public sProcessor(StreamWriter sw)
  {
    _sw = sw;
  }
  public void Process(string s)
  {
    if (_hadString)
      _sw.Write(", ");
    else 
      _hadString = true;
    _sw.Write(s);
  }
}

comp f next x y | r == 0    = next x y
                | otherwise = r
                where r = f x y

(* функция, создающая один итератор *)
let file_iter n = Enum.init 10 (fun i -> Printf.sprintf "file%d line%d" n i)

(* список таких итераторов *)
let files = List.init 10 (fun n -> file_iter n)

(* вывод строк по одной *)
let rec show_lines lst =
  let continue = List.fold_left (fun not_end it -> (* проходимся по списку итераторов *)
    match Enum.get it with (* берем из каждого по одной строке *)
    | None -> not_end 
    | Some line -> print_endline line; true) false lst  in (* выводим ее, и определяем, нужно ли продолжать *)
  if continue then show_lines lst else ();; (* пока все не кончились, повторяем *)

show_lines files (* запускаем *)

DM>Простите за мой французский, но я напишу на Окамле

fold :: (a -> b -> b) -> b -> IntMap a -> b
fold f z coll  (f an ...(f a2 (f a1 z)))
prod = fold (*) 1 coll
       (an * ...(a2 * (a1 * 1)))
prodbut n = snd (fold iteratee (n,1) coll)
  where iteratee a (n,s) =
      if n <= 0 then (n,a*s) else (n-1,s)

DM>Простите за мой французский, но я напишу на Окамле

DM>(* функция, создающая один итератор *)
DM>let file_iter n = Enum.init 10 (fun i -> Printf.sprintf "file%d line%d" n i)

DM>(* список таких итераторов *)
DM>let files = List.init 10 (fun n -> file_iter n)

DM>(* вывод строк по одной *)
DM>let rec show_lines lst =
DM>  let continue = List.fold_left (fun not_end it -> (* проходимся по списку итераторов *)
DM>    match Enum.get it with (* берем из каждого по одной строке *)
DM>    | None -> not_end 
DM>    | Some line -> print_endline line; true) false lst  in (* выводим ее, и определяем, нужно ли продолжать *)
DM>  if continue then show_lines lst else ();; (* пока все не кончились, повторяем *)

DM>show_lines files (* запускаем *)
DM>

let lst = [ [ 1;2;3 ]; [ 4;5;6 ]; [ 7;8;9 ]; ];;                  

let rec iter = function
    | x::xs -> ( Printf.printf "%d\n" x; `Some (xs) )
    | []    -> `None;;
            
let rec filter f lst = 
    let rec filter' = function
        | x::xs -> (match f x with
                   | `Some(v) -> v :: filter' xs
                   | `None    -> filter' xs)
        | []    -> []
    in
    match filter' lst with
    | []  -> ()
    | nl  -> filter f nl;;
        
filter iter lst;;

open ExtLib;;

let lst = [ [ 1;2;3 ]; [ 4;5;6 ]; [ 7;8;9 ]; ];;                  

let rec iter action = function
  | x::xs -> action x; Some xs 
  | []    -> None;;
            
let rec filter f lst = 
  match List.filter_map f lst with
  | []  -> ()
  | nl  -> filter f nl;;
        
filter (iter (Printf.printf "%d ")) lst;;