Does anyone know if a language with only high order functions like map, reduce and others could be Turing complete? Probably 80-90% of cases would fit in the schema of some predefined functions like scanl. My intuition is that for some cases you would still need explicit recursion or iteration, for instance if you wanted to loop forever or until a certain condition is met, but perhaps these cases could be modelled with some special high order functions as well, or with explicit infinite recursion as in Rust's 'loop'.