Clojure


Clojure is a modern, dynamic, and functional dialect of the Lisp programming language on the Java platform. Like other Lisps, Clojure treats code as data and has a Lisp macro system. The current development process is community-driven, overseen by Rich Hickey as its benevolent dictator for life.
Clojure advocates immutability and immutable data structures and encourages programmers to be explicit about managing identity and its states. This focus on programming with immutable values and explicit progression-of-time constructs is intended to facilitate developing more robust, especially concurrent, programs that are simple and fast. While its type system is entirely dynamic, recent efforts have also sought the implementation of gradual typing.
Commercial support for Clojure is provided by Cognitect. Clojure conferences are organized every year across the globe, the most famous of them being Clojure/conj.

History and development process

Rich Hickey is the creator of the Clojure language. Before Clojure, he developed dotLisp, a similar project based on the.NET platform, and three earlier attempts to provide interoperability between Lisp and Java: a Java foreign language interface for Common Lisp, A Foreign Object Interface for Lisp, and a Lisp-friendly interface to Java Servlets.
Hickey spent about 2½ years working on Clojure before releasing it publicly, much of that time working exclusively on Clojure with no outside funding. At the end of this time, Hickey sent an email announcing the language to some friends in the Common Lisp community.
The development process is community-driven and is managed at the Clojure JIRA project page. General development discussion occurs at the Clojure Google Group. Anyone can submit issues and ideas at ask.clojure.org, but to contribute patches, one must sign the Clojure Contributor agreement. JIRA issues are processed by a team of screeners and finally Rich Hickey approves the changes.
Clojure's name, according to Hickey, is a pun on the programming concept "closure" incorporating the letters C, L, and J for C#, Lisp, and Java respectively—three languages which had a major influence on Clojure's design.

Design philosophy

Rich Hickey developed Clojure because he wanted a modern Lisp for functional programming, symbiotic with the established Java platform, and designed for concurrency.
Clojure's approach to state is characterized by the concept of identities, which are represented as a series of immutable states over time. Since states are immutable values, any number of workers can operate on them in parallel, and concurrency becomes a question of managing changes from one state to another. For this purpose, Clojure provides several mutable reference types, each having well-defined semantics for the transition between states.

Language overview

Clojure runs on the Java platform and as a result, integrates with Java and fully supports calling Java code from Clojure, and Clojure code can be called from Java also. The community uses Leiningen for project automation, providing support for Maven integration. Leiningen handles project package management and dependencies and is configured using Clojure syntax.
Like most other Lisps, Clojure's syntax is built on S-expressions that are first parsed into data structures by a reader before being compiled. Clojure's reader supports literal syntax for maps, sets and vectors in addition to lists, and these are compiled to the mentioned structures directly. Clojure is a Lisp-1 and is not intended to be code-compatible with other dialects of Lisp, since it uses its own set of data structures incompatible with other Lisps.
As a Lisp dialect, Clojure supports functions as first-class objects, a read–eval–print loop, and a macro system. Clojure's Lisp macro system is very similar to that in Common Lisp with the exception that Clojure's version of the backquote qualifies symbols with their namespace. This helps prevent unintended name capture, as binding to namespace-qualified names is forbidden. It is possible to force a capturing macro expansion, but it must be done explicitly. Clojure does not allow user-defined reader macros, but the reader supports a more constrained form of syntactic extension. Clojure supports multimethods and for interface-like abstractions has a protocol based polymorphism and data type system using records, providing high-performance and dynamic polymorphism designed to avoid the expression problem.
Clojure has support for lazy sequences and encourages the principle of immutability and persistent data structures. As a functional language, emphasis is placed on recursion and higher-order functions instead of side-effect-based looping. Automatic tail call optimization is not supported as the JVM does not support it natively; it is possible to do so explicitly by using the recur keyword. For parallel and concurrent programming Clojure provides software transactional memory, a reactive agent system, and channel-based concurrent programming.
Clojure 1.7 introduced reader conditionals by allowing the embedding of Clojure and ClojureScript code in the same namespace. Transducers were added as a method for composing transformations. Transducers enable higher-order functions such as map and fold to generalize over any source of input data. While traditionally these functions operate on sequences, transducers allow them to work on channels and let the user define their own models for transduction.

Platforms

The primary platform of Clojure is Java, but other target implementations exist. The most notable of these are ClojureScript, which compiles to ECMAScript 3, and ClojureCLR, a full port on the.NET platform, interoperable with its ecosystem. A survey of the Clojure community with 1,060 respondents conducted in 2013 found that 47% of respondents used both Clojure and ClojureScript when working with Clojure. In 2014 this number had increased to 55%, in 2015, based on 2,445 respondents, to 66%. Popular ClojureScript projects include implementations of the React library such as Reagent, re-frame, Rum, and Om.

Popularity

With the continued interest in functional programming, Clojure's adoption by the software developers on the Java platform has continued to increase. The language has also been either favored or recommended by renowned software development veterans such as Brian Goetz, Eric Evans, James Gosling, Paul Graham, and Robert C. Martin.
In the "JVM Ecosystem Report 2018", prepared in collaboration by Snyk and Java Magazine, Clojure was ranked the 2nd most used programming language for "main applications".
Clojure is used in industry by firms such as Apple, Atlassian, Funding Circle, Netflix, Puppet, and Walmart as well as government agencies such as NASA. It has also been used for creative computing, including visual art, music, games, and poetry.
ThoughtWorks, while assessing functional programming languages for their Technology Radar, expressed their favor toward Clojure as "a simple, elegant implementation of Lisp on the JVM" in 2010 and promoted its status to "ADOPT" in 2012.
A growing number of unofficial and experimental implementations for other platforms testify to the popularity of the language:
Tooling for Clojure development has seen significant improvement over the years. The following is a list of the most popular IDEs/editors with their plug-ins that combined provide excellent support for Clojure development:
In addition to the tools provided by the community, the official Clojure CLI tools have also become available on GNU/Linux, macOS, and Windows since Clojure 1.9.

Features by example

The following examples can be run in a Clojure REPL such as one started with the Clojure CLI tools or an online REPL such as one available on REPL.it.

Simplicity

Because of the strong emphasis on simplicity, typical Clojure programs consist of mostly functions and simple data structures :

;; A typical entry point of a Clojure program:
;; `-main` function
parameters
) ; body

Programming at REPL

Like other Lisps, one of the iconic features of Clojure is interactive programming at the REPL. Note that, in the following examples, ;; starts a line comment and ;; => indicates output:

;; define a var
;; => #'user/a
;; call a function named `+`
;; => 50
;; call a function named `even?`
;; => true
;; define a function that returns the remainder of `n` when divided by 10
;; => #'user/foo
;; call the function
;; => 2
;; print the docstring of `rem`
;; =>
-------------------------
clojure.core/rem
remainder of dividing numerator by denominator.
;; print the source of `rem`
;; =>

Names at runtime

Unlike other runtime environments where names get compiled away, Clojure's runtime environment is easily introspectable using normal Clojure data structures:

;; define a var
;; => #'user/a
;; get a map of all public vars interned in the `user` namespace
;; =>
;; reference the var via `#'` and
;; its associated, namespace-qualified symbol `user/a`
  1. 'user/a
;; => #'user/a
;; de-reference the var
;; => 42
;; define a function that
;; returns the remainder of `n` when divided by 10
`" )
;; => #'user/foo
;; get the metadata of the var `#'user/foo`
;; =>

Code as data (homoiconicity)

Similar to other Lisps, Clojure is homoiconic. In the example below, we can see how easy it is to write code that modifies code itself:

;; call a function
;; => 2
;; quote the function call
;;
;; =>
;; get the first element on the list
;;
;; => +
;; get the last element on the list
;;
;; => 1
;; get a new list by replacing the symbols on the original list
;;
;; =>

Expressive operators for data transformation

The threading macros can syntactically express the abstraction of piping a collection of data through a series of transformations:


)
;; =>

This can also be achieved more efficiently using transducers:

)
)
;; =>

Thread-safe management of identity and state

A thread-safe generator of unique serial numbers :

Macros

An anonymous subclass of java.io.Writer that doesn't write to anything, and a macro using it to silence all prints within it:


))
;; => nil

Language interoperability with Java

Clojure was created from the ground up to embrace its host platforms as one of its design goals and thus provides excellent language interoperability with Java:

;; call an instance method
;; => "APPLE"
;; call a static method
;; => "12+33"
;; create an instance of `java.util.HashMap` and
;; add some entries

)
;; =>
;; create an instance of `java.util.ArrayList` and
;; increment its elements with `clojure.core/map`


))
;; =>
;; show a message dialog using Java Swing
;; => nil

Software transactional memory

10 threads manipulating one shared data structure, which consists of 100 vectors each one containing 10 unique numbers. Each thread then repeatedly selects two random positions in two random vectors and swaps them. All changes to the vectors occur in transactions by making use of Clojure's software transactional memory system:




)))
swap
#
v2
i1
i2 ]

)))
report
#

cat
))

)]



)
))
;; =>
...
Distinct: 1000
...
Distinct: 1000
nil