I think OCaml can do it with flamba, at least that's what this library readme says: https://github.com/c-cube/iter https://github.com/c-cube/iter > with flambd

I think OCaml can do it with flamba, at least that's what this library readme says: https://github.com/c-cube/iter 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!