ACL2

(defun replace-ints (x)

(cond ((endp x) nil)

((integerp (car x))
(cons 'I
(replace-ints (cdr x))))

(t
(cons (car x)
(replace-ints (cdr x))))))

http://clochure.org/

- I think the solution is simpler and it has been in front of our eyes since 2008.
- And what is it?
- Objective-C. Objective-C is massively popular and it has a syntax that resembles that of Clojure: [[MyObject alloc] init].
- I don’t get it? –replied the first one.
- We just swap Clojure parentheses for square brackets, and BAM!, millions of iOS developers can use our language.

Easier to read, compare: (+ (expt 2 30) 2) with [+ [expt 2 30] 2].