CODEWITHSUNDEEP
recursionclojure
SyntaxT3rr0r
SyntaxT3rr0r

Reputation: 28293

Why aren't recursive calls automagically replaced by recur?

In the following (Clojure) SO question: my own interpose function as an exercise

The accepted answers says this:

Replace your recursive call with a call to recur because as written it will hit a stack overflow

(defn foo [stuff]
  (dostuff ... )
  (foo (rest stuff)))

becomes:

(defn foo [stuff]
  (dostuff ...)
  (recur (rest stuff)))

to avoid blowing the stack.

It may be a silly question but I'm wondering why the recursive call to foo isn't automatically replaced by recur?

Also, I took another SO example and wrote this ( without using cond on purpose, just to try things out):

(defn is-member [elem ilist]
  (if (empty? ilist)
    false
    (if (= elem (first ilist))
      true
      (is-member elem (rest ilist)))))

And I was wondering if I should replace the call to is-member with recur (which also seems to work) or not.

Are there cases where you do recurse and specifically should not use recur?

Upvotes: 5

Views: 203

Answers (3)

Arthur Ulfeldt
Arthur Ulfeldt

Reputation: 91554

I asked Rich Hickey that and his reasoning was basically (and I paraphrase)

"make the special cases look special"

he did not see the value in papering over a special case most of the time and leaving people to wonder why if blows the stack later when something changes and the compiler can't guarantee the optimization. Untimely it was just one of the design decisions made to try and keep the language simple

Upvotes: 7

j-g-faustus
j-g-faustus

Reputation: 8999

I was wondering if I should replace the call to is-member with recur

In general, as mquander says, there is no reason to not use recur whenever you can. With small inputs (a few dozen to a few hundred elements) they are the same, but the version without recur will blow up on large inputs (a few thousand elements).

Explicit recursion (i.e. without 'recur') is good for many things, but iterating through long sequences is not one of them.

Are there cases where you specifically should not use recur?

Only when you can't use it, which is when

  • it is not tail recursive - i.e. it wants to do something with the return value.
  • the recursion is to a different function.

Some examples:

 (defn foo [coll] 
  (when coll 
    (println (first coll))
    (recur (next coll)))   ;; OK: Tail recursive

(defn fie [coll]
  (when coll
    (cons (first coll)       
      (fie (next coll))))) ;; Can't use recur: Not tail recursive.   

(defn fum 
  ([coll] 
    (fum coll []))         ;; Can't use recur: Different function.
  ([coll acc] 
    (if (empty? coll) acc
       (recur (next coll)  ;; OK: Tail recursive
          (conj acc (first coll))))))

As to why recur isn't inserted automatically when appropriate: I don't know, but at least one positive side-effect is to make actual function calls visually distinct from the non-calls (i.e. recur).

Since this can be the difference between "works" and "blows up with StackOverflowError", I think it's a fair design choice to make it explicit - visible in the code - rather than implicit, where you would have to start second-guessing the compiler when it doesn't work as expected.

Upvotes: 3

mqp
mqp

Reputation: 71945

There's pretty much never a reason not to use recur if you have a tail-recursive method, although unless you're in a performance-sensitive area of code it just won't make any difference.

I think the basic argument is that having recur be explicit makes it very clear whether a function is tail-recursive or not; all tail-recursive functions use recur, and all functions that recur are tail-recursive (the compiler will complain if you try to use recur from a non-tail-position.) So it's a bit of an aesthetic decision.

recur also helps distinguish Clojure from languages which will do TCO on all tail calls, like Scheme; Clojure can't do that effectively because its functions are compiled as Java functions and the JVM doesn't support it. By making recur a special case, there's hopefully no inflated expectations.

I don't think there would be any technical reason why the compiler couldn't insert recur for you, if it were designed that way, but maybe someone will correct me.

Upvotes: 8

Related Questions