Loopless Functional Algorithms