Question

I’m reading Programming Clojure 2nd edition, and on page 49 it covers Clojure’s for loop construct, which it says is actually a sequence comprehension.

The authors suggest the following code:

(defn indexed [coll] (map-indexed vector coll))

(defn index-filter [pred col]
  (when pred
    (for [[idx elt] (indexed col) :when (pred elt)] idx)))

(index-filter #{\a} "aba")
(0 2)

…is preferable to a Java-based imperative example, and the evidence given is that it “by using higher-order functions…the functional index-of-any avoids all need for variables.”

What are “idx”, “elt” if they are not variables? Do they mean variables besides the accumulators?

Also, why #{\a} instead of “a”?

Answer 1

1. There are no variables in functional languages. Actually, you need distinguish variable and value. idx it’s just a name bound to concrete value, and you can not reassign it (but you can rebound it to another value).

2. First parameter of function index-filter is predicate, that means function that return true or false. #{\a} it’s a data structure set, but it also can be treated like a function. If you pass element as argument to set function it returns this argument (like true) if element exists and nil (like false) otherwise. So you can think about this set predicate as anonymous function written in more understandable way #(contains? #{\a} %)