It is more or less trivial to emit essentially optimal autovectorized and inlined machine code from functional iterators.
Rust does this, for example.