> The examples you just created are unidiomatic Clojure. Assuredly. Yet, in an immutable-functional language, the examples I gave are unrepresentable. Clojure

> The examples you just created are unidiomatic Clojure. Assuredly. Yet, in an immutable-functional language, the examples I gave are unrepresentable. Clojure has nice syntax, like recur, to make it easy to write pure functional programs, but ultimately it's a procedural language full of side-effects, with a fairly simple mapping to JVM semantics. Clojure is often the right tool for the job, and I'm sure the Clojure programmers reading this are thinking things like “a simple mapping to JVM semantics is not a bad thing!”. But mere usefulness doesn't make it Agda.