Clojure
Paradigm | functional |
---|---|
Designed by | Rich Hickey |
First appeared | 2007 |
Stable release | 1.8[1] / January 19, 2016 |
Typing discipline | dynamic, strong |
Platform | JVM, CLR, JavaScript |
License | Eclipse Public License |
Filename extensions | .clj, .cljs, .cljc, .edn |
Website |
clojure |
Influenced by | |
Common Lisp, Erlang, Haskell, ML, Prolog, Scheme, Java, Racket,[2] Ruby[3] | |
Influenced | |
Elixir, Hy, Pixie, Rhine | |
|
Clojure (pronunciation: /ˈkloʊʒɜːr/, like "closure"[4]) is a dialect of the Lisp programming language created by Rich Hickey.[5] Clojure is a general-purpose programming language with an emphasis on functional programming.[6] It runs on the Java virtual machine, Common Language Runtime,[7] and JavaScript[8] engines. Like other Lisps, Clojure treats code as data and has a macro system.[9] The current development process is community-driven,[10] overseen by Rich Hickey as its benevolent dictator for life (BDFL).[11]
Clojure encourages immutability and immutable data structures. While its type system is entirely dynamic, recent efforts have also sought the implementation of gradual typing.[12] Clojure encourages programmers to be explicit about managing state and identity.[13] This focus on programming with immutable values and explicit progression-of-time constructs are intended to facilitate developing more robust programs, especially multithreaded ones.[14][15]
Clojure is successfully used in industry by firms such as Walmart,[16] Puppet Labs,[17] and other large software firms.[18] Commercial support for Clojure is provided by Cognitect.[18] Annual Clojure conferences are organised every year across the globe, the most famous of them being Clojure/conj (US east coast),[19] Clojure/West (US west coast),[20] and EuroClojure (Europe).[21]
The latest stable version of Clojure is 1.8,[22] released on January 19, 2016. The first stable release was version 1.0, released on May 4, 2009.[23] Clojure is free software released under the Eclipse Public License.[24]
History and development process
Rich Hickey is the creator of the Clojure language.[5] Before Clojure, he developed dotLisp, a similar project based on the .NET Framework,[25] and three earlier attempts to provide interoperability between Lisp and Java: a Java foreign language interface for Common Lisp (jfli),[26] A Foreign Object Interface for Lisp (FOIL),[27] and a Lisp-friendly interface to Java Servlets (Lisplets).[28]
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[10] and is managed at the Clojure Community website.[29] The website contains planning documents and an issue tracker where bugs may be filed. General development discussion occurs at the Clojure Dev Google Group.[30] While anyone can submit bug reports and ideas, to contribute patches one must sign the Clojure Contributor agreement.[31] JIRA tickets are processed by a team of screeners and finally Rich Hickey approves the changes.[32]
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.[14][15][33]
Clojure's approach to state is characterized by the concept of identities,[34] 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.[13][34]
Features
Version | Release date | Major features added |
---|---|---|
2007-10-16[35] | Initial public release | |
1.0 | 2009-05-04[36] | First stable release[37] |
1.1 | 2009-12-31[36] | Futures[38] |
1.2 | 2010-08-19[36] | Protocols[39] |
1.3 | 2011-09-23[36] | Enhanced primitive support[40] |
1.4 | 2012-04-15[36] | Reader literals |
1.5 | 2013-03-01[36] | Reducers |
1.6 | 2014-03-25[41] | Java API, improved hashing algorithms |
1.7 | 2015-06-30[22] | Transducers, reader conditionals |
1.8 | 2016-01-19[42] | String functions, direct linking, socket server |
1.9 | future | |
Latest version Future release |
Clojure runs on the Java virtual machine and as a result integrates with Java and fully supports calling Java code from Clojure,[43] and Clojure code can be called from Java also.[44] The community uses Leiningen[45] for project automation, providing support for Maven integration. Leiningen handles project package management and dependencies and is configured using Clojure syntax.[45]
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.[46] Clojure's reader supports literal syntax for maps, sets and vectors in addition to lists, and these are compiled to the mentioned structures directly.[46] 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.[46][47]
As a Lisp dialect, Clojure supports functions as first-class objects, a read–eval–print loop (REPL), and a macro system.[48] Clojure's macro system is very similar to that in Common Lisp with the exception that Clojure's version of the backquote (called "syntax quote") 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.[49] Clojure supports multimethods[50] and for interface-like abstractions has a protocol[51] based polymorphism and data type system using records,[52] 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;[53] it is possible to do so explicitly by using the recur
keyword.[54] For parallel and concurrent programming Clojure provides software transactional memory[55] a reactive agent system,[56] and channel-based concurrent programming.[57]
Recently Clojure introduced reader conditionals by allowing the embedding of Clojure and ClojureScript code in the same namespace.[22][58] Transducers have been added as a way for composing transformations. Transducers enable higher-order functions such as map and fold to generalize over any source of input data, as traditionally these functions operate on sequences, transducers allow them to work on channels and let the user define their own models for transduction.[59][60][61]
Platforms and popularity
The primary platform of Clojure is the JVM,[6][43] but other target implementations exist. The most notable of these are ClojureScript,[8] which compiles to JavaScript, and ClojureCLR,[62] a full port to the Common Language Runtime, interoperable with the .NET ecosystem. A survey of the Clojure community with 1,060 respondents conducted in 2013[63] found that 47% of respondents used both Clojure and ClojureScript when working with Clojure. In 2014 this number had increased to 55%.[64] Popular ClojureScript projects include implementations of the React library such as Reagent and Om.[65]
Clojure has also been used for creative computing, including visual art, music, games, and poetry.[66]
Variant implementations of the Clojure language have been developed for platforms other than the above:
- las3r,[67] a subset of Clojure that runs on the ActionScript Virtual Machine (the Adobe Flash Player platform)
- clojure-py,[68] Clojure in pure Python
- rouge,[69] Clojure atop YARV in Ruby
- CljPerl,[70] Clojure atop Perl
- Pixie, Clojure-inspired Lisp dialect written in RPython
Examples
(println "Hello world!")
Defining a function:
(defn square [x]
(* x x))
GUI "Hello world" by calling the Java Swing library:
(javax.swing.JOptionPane/showMessageDialog nil "Hello World" )
Using Unicode (Hello 世 ("World") using the CJK code point for that word):
(println (str "Hello, " \u4e16)) ; to the console
(javax.swing.JOptionPane/showMessageDialog nil (str "Hello, " \u4e16 "!")); using Java GUI
A thread-safe generator of unique serial numbers (though, like many other Lisp dialects, Clojure has a built-in gensym
function that it uses internally):
(let [i (atom 0)]
(defn generate-unique-id
"Returns a distinct numeric ID for each call."
[]
(swap! i inc)))
An anonymous subclass of java.io.Writer
that doesn't write to anything, and a macro using it to silence all prints within it:
(def bit-bucket-writer
(proxy [java.io.Writer] []
(write [buf] nil)
(close [] nil)
(flush [] nil)))
(defmacro noprint
"Evaluates the given expressions with all printing to *out* silenced."
[& forms]
`(binding [*out* bit-bucket-writer]
~@forms))
(noprint
(println "Hello, nobody!"))
10 threads manipulating one shared data structure, which consists of 100 vectors each one containing 10 (initially sequential) 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.
(defn run [nvecs nitems nthreads niters]
(let [vec-refs (->> (range (* nvecs nitems)) (partition nitems) (map (comp ref vec)) vec)
swap #(let [v1 (rand-int nvecs)
v2 (rand-int nvecs)
i1 (rand-int nitems)
i2 (rand-int nitems)]
(dosync
(let [tmp (nth @(vec-refs v1) i1)]
(alter (vec-refs v1) assoc i1 (nth @(vec-refs v2) i2))
(alter (vec-refs v2) assoc i2 tmp))))
report #(let [derefed (map deref vec-refs)]
(prn derefed)
(println "Distinct:" (->> derefed (apply concat) distinct count)))]
(report)
(dorun (apply pcalls (repeat nthreads #(dotimes [_ niters] (swap)))))
(report)))
(run 100 10 10 100000)
Output of prior example:
([0 1 2 3 4 5 6 7 8 9] [10 11 12 13 14 15 16 17 18 19] ... [990 991 992 993 994 995 996 997 998 999]) Distinct: 1000
([382 318 466 963 619 22 21 273 45 596] [808 639 804 471 394 904 952 75 289 778] ... [484 216 622 139 651 592 379 228 242 355]) Distinct: 1000
See also
References
- ↑ "Index of /maven2/org/clojure/clojure/1.8.0/". central.maven.org. 2015-06-30. Retrieved 2015-06-30.
- ↑ Bonnaire-Sergeant, Ambrose (2012). A Practical Optional Type System for Clojure (Thesis). The University of Western Australia.
- ↑ "Clojure Programming" (PDF). Retrieved 2013-04-30.
- ↑ "meaning and pronunciation of Clojure". Rich Hickey. Retrieved 2012-04-20.
- 1 2 "Clojure inventor Hickey now aims for Android".
- 1 2 "Clojure - home". clojure.org. Retrieved 2015-09-15.
- ↑ "clojure/clojure-clr". GitHub. Retrieved 2015-09-15.
- 1 2 "clojure/clojurescript". GitHub. Retrieved 2015-09-15.
- ↑ "Clojure - lisp". clojure.org. Retrieved 2015-09-15.
- 1 2 "Contributing FAQ - Clojure Community - Clojure Development". dev.clojure.org. Retrieved 2015-09-15.
- ↑ "Clojure - funding". clojure.org. Retrieved 2015-09-15.
- ↑ "clojure/core.typed". GitHub. Retrieved 2015-09-15.
- 1 2 "Clojure - state". clojure.org. Retrieved 2015-09-15.
- 1 2 "Rationale". Rich Hickey. clojure.org. Retrieved 2008-10-17.
- 1 2 Charles (2009-10-06). "Expert to Expert: Rich Hickey and Brian Beckman – Inside Clojure | Going Deep | Channel 9". Channel9.msdn.com. Retrieved 2012-06-28.
- ↑ "Walmart Runs Clojure at Scale". Retrieved 2015-09-15.
- ↑ "A New Era of Application Services at Puppet Labs". Puppet Labs. Retrieved 2015-09-15.
- 1 2 "Clojure Programming Language :: Cognitect, Clojure Consulting, Clojure Support, Functional Programming, JVM". cognitect.com. Retrieved 2015-09-15.
- ↑ Clojure/conj
- ↑ Clojure/West
- ↑ EuroClojure
- 1 2 3 "Clojure 1.8 is now available". Retrieved 2015-09-15.
- ↑ "Clojure: Clojure 1.0". clojure.blogspot.fi. Retrieved 2015-09-16.
- ↑ "Clojure - license". clojure.org. Retrieved 2015-09-15.
- ↑ "[ANN] dotLisp - a Lisp dialect for .Net".
- ↑ "jfli, a Java foreign language interface for Common Lisp".
- ↑ "Foil - a Foreign Object Interface for Lisp".
- ↑ "Lisplets - a Lisp-friendly interface to Java Servlets".
- ↑ Clojure Community website
- ↑ Clojure Dev Google Group
- ↑ "Contributing FAQ - Clojure Community - Clojure Development". dev.clojure.org. Retrieved 2015-09-16.
- ↑ "JIRA workflow - Clojure Community - Clojure Development". dev.clojure.org. Retrieved 2015-09-16.
- ↑ "Economy Size Geek - Interview with Rich Hickey, Creator of Clojure | Linux Journal". www.linuxjournal.com. Retrieved 2015-09-15.
- 1 2 "On State and Identity". Rich Hickey. clojure.org. Retrieved 2010-03-01.
- ↑ "Clojure: Clojure is Two!". Clojure Blog. Retrieved 2015-09-16.
- 1 2 3 4 5 6 Fingerhut, Andy. "Clojure version history". jafingerhut.github.io. Retrieved 2015-09-16.
- ↑ "Clojure: Clojure 1.0". Clojure Blog. Retrieved 2015-09-16.
- ↑ "Clojure: Clojure 1.1 Release". clojure.blogspot.com. Retrieved 2015-09-16.
- ↑ "Clojure - protocols". clojure.org. Retrieved 2015-09-16.
- ↑ "clojure/clojure". GitHub. Retrieved 2015-09-16.
- ↑ "Google Groups". groups.google.com. Retrieved 2015-09-16.
- ↑ "Google Groups". groups.google.com. Retrieved 2016-01-25.
- 1 2 "Clojure - jvm_hosted". clojure.org. Retrieved 2015-09-15.
- ↑ "Clojure - java_interop". clojure.org. Retrieved 2015-09-15.
- 1 2 contributors, Phil Hagelberg and. "Leiningen". leiningen.org. Retrieved 2015-09-15.
- 1 2 3 "Clojure - reader". clojure.org. Retrieved 2015-09-15.
- ↑ "Clojure - lisps". clojure.org. Retrieved 2015-09-15.
- ↑ "Clojure - macros". clojure.org. Retrieved 2015-09-15.
- ↑ "edn". Rich Hickey. Github.com. Retrieved 2014-05-24.
- ↑ "Clojure - multimethods". clojure.org. Retrieved 2015-09-15.
- ↑ "Clojure - protocols". clojure.org. Retrieved 2015-09-15.
- ↑ "Clojure - datatypes". clojure.org. Retrieved 2015-09-15.
- ↑ "Brian Goetz - Stewardship: the Sobering Parts". YouTube. ClojureTV. Retrieved 2015-09-15.
- ↑ "Clojure - special_forms". clojure.org. Retrieved 2015-09-15.
- ↑ "Clojure - Refs". clojure.org. Retrieved 2015-09-15.
- ↑ "Clojure - Agents". clojure.org. Retrieved 2015-09-15.
- ↑ "Clojure :: Clojure core.async Channels". clojure.com. Retrieved 2015-09-15.
- ↑ "Clojure - reader". clojure.org. Retrieved 2015-09-15.
- ↑ "Transducers" by Rich Hickey. https://www.youtube.com/watch?v=6mTbuzafcII. Retrieved on 2015-09-15.
- ↑ "Transducers are Coming". Retrieved 2015-09-15.
- ↑ "Rich Hickey - Inside Transducers". YouTube. Cognitect Inc. Nov 20, 2014. Retrieved 2015-09-15.
- ↑ "clojure/clojure-clr · GitHub". Github.com. Retrieved 2012-06-28.
- ↑ Emerick, Chas. "Results of the 2013 State of Clojure & ClojureScript survey". cemerick. Retrieved 2015-09-17.
- ↑ "State of Clojure 2014 Results". cognitect.wufoo.com. Retrieved 2015-09-17.
- ↑ "Om: Enhancing Facebook's React with Immutability". InfoQ. Retrieved 2015-09-17.
- ↑ Meier, Carin. "Creative computing with Clojure - O'Reilly Radar". radar.oreilly.com. Retrieved 2015-09-17.
- ↑ aemoncannon (2010-12-30). "Home · aemoncannon/las3r Wiki · GitHub". Github.com. Retrieved 2012-06-28.
- ↑ "halgari/clojure-py · GitHub". Github.com. Retrieved 2012-07-10.
- ↑ "rouge-lang/rouge · GitHub". Github.com. Retrieved 2015-12-19.
- ↑ "A lisp on Perl . MetaCPAN". metacpan.org. Retrieved 2014-05-25.
Further reading
- Rochester, Eric (2015), Clojure Data Analysis Cookbook (2nd ed.), Packt Publishing, ISBN 9781784390297
- Gamble, Julian (2015), Clojure Recipes (1st ed.), Pearson Publishing, ISBN 9780321927736
- Rochester, Eric (2014), Mastering Clojure Data Analysis (1st ed.), Packt Publishing, ISBN 9781783284139
- Fogus, Michael; Houser, Chris (2014), The Joy of Clojure (2nd ed.), Manning, ISBN 1-617291-41-2
- Fogus, Michael; Houser, Chris (2010), The Joy of Clojure (1st ed.), Manning, ISBN 1-935182-64-1
- Halloway, Stuart (2012), Programming Clojure (2nd ed.), Pragmatic Bookshelf, ISBN 978-1-93435-686-9
- Rathore, Amit (2011), Clojure in Action (1st ed.), Manning, ISBN 1-935182-59-5
- VanderHart, Luke; Sierra, Stuart (June 7, 2010), Practical Clojure (1st ed.), Apress, ISBN 1-4302-7231-7
- Emerick, Chas; Carper, Brian; Grand, Christophe (April 19, 2012), Clojure Programming (1st ed.), O'Reilly Media, ISBN 1-4493-9470-1
External links
- Official website
- GitHub code repository for Clojure
- A comprehensive overview of Clojure
- An overview of Clojure 1.2 in reference format
- Full Disclojure – Screencast
- Clojure talks on Youtube
- Clojure talks on Blip.tv
- clojuredocs.org – Community-powered documentation and examples
- clojure-doc.org – Community-driven documentation site for the Clojure programming language
- 4clojure.com – Interactive Clojure Problems
- TryClojure – An online REPL for Clojure
- Clojure on infoq.com
- Clojure community and resources on Facebook
- R.Hickey presentation "Are We There Yet?" where he advocates for the reexamination of basic principles like state, identity, value, time, types, genericity, complexity, as they are used by OOP. 2009
1955 | 1960 | 1965 | 1970 | 1975 | 1980 | 1985 | 1990 | 1995 | 2000 | 2005 | 2010 | 2015 | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Lisp 1.5 | Lisp 1.5 | ||||||||||||
Maclisp | Maclisp | ||||||||||||
Interlisp | Interlisp | ||||||||||||
ZetaLisp | Lisp Machine Lisp | ||||||||||||
Scheme | Scheme | ||||||||||||
NIL | NIL | ||||||||||||
Common Lisp | Common Lisp | ||||||||||||
T | T | ||||||||||||
AutoLISP | AutoLISP | ||||||||||||
ISLISP | ISLISP | ||||||||||||
EuLisp | EuLisp | ||||||||||||
Racket | Racket | ||||||||||||
Arc | Arc | ||||||||||||
Clojure | Clojure | ||||||||||||
LFE | LFE | ||||||||||||
Hy | Hy |
|