Do you mean like Lisp which favors recursive function (or lambda calculus which uses the Y-combinator :)?
On the other hand: You can see loops as a special case of recursion. Though I like languages that don't treat this special case as a special case.
Do you mean like Lisp which favors recursive function (or lambda calculus which uses the Y-combinator :)?