> ML has no looping

That is not at all true. ML has a while construction similar to those in C and Perl. Also, the map looping operator is implemented internally with a loop, and any tail-recursive functions that the programmer defines are optimized internally to loops.