iter

I think OCaml can do it with flamba, at least that's what this library readme says: https://github.com/c-cube/iter > with flambda under sufficiently strong optimization flags, such compositions of operators should be compiled to an actual loop with no overhead!

Oh, great, yet another library of data structures that introduce incompatible abstractions with both the standard library and the 3 other big libraries of data structures[1,2,3], that is exactly what the OCaml ecosystem needs! :D More seriously, though, at least the naming convention is consistent. It looks a bit heavy on signature-indirection. I would really prefer if they used a standard iterator (gen[5] and sequence[6], for example, or the future one in the stdlib[7]) and settled for one serialization method (such as sexp) and get formatters everywhere. Also, please use ocamldoc or odoc[4] for your documentation. The one generated here is really terrible, even for OCam^W Reason standards. [1]: https://github.com/c-cube/ocaml-containers/ [2]: http://batteries.forge.ocamlcore.org/ [3]: https://github.com/janestreet/base [4]: https://gith

The Ocaml std library is a bit lackluster and people often replace it with something more featureful. BTW, I think https://github.com/c-cube/sequence is more in closer to the generic iterable datatype you are looking for. You still need to convert to and from the seq type but its pretty close...