(Image credit: @deviantart/deepbluerenegade, "Bubble Chamber")
To paraphrase the poet of xkcd:
That syntax might fade,
That all might swim in the purity
Of quantified conception, of ideas manifest,
To this end, from the ancience of Lisp —
Time-tested, but never time-worn —
Was fashioned
quantum.
Java -> Google Guava
JavaScript -> Google Closure
C++ -> Boost
Clojure -> quantum
quantum is an all-purpose Clojure(Script) library similar to:
- Prismatic/plumbing
- weavejester/medley
- mikera/clojure-utils
- ptaoussanis/encore
- ztellman/potemkin
- zcaudate/hara (possibly most similar)
and others. It aims to unify and abstract away conceptually irrelevant implementation details while providing great performance, often exceeding that of clojure.core (see benchmarks for more information).
It adapts, in the author's opinion, the best and most useful functions from existing libraries (in accordance with their respective copyrights) and adds much more of its own.
In project.clj:
In namespaces:
(require 'quantum.core. ... )
where ... is the name of the sub-library (e.g., quantum.core.collections, quantum.core.io, etc.).
This library is big enough to be split into numerous sub-libraries. Someday I'll do just that (using lein-repack, as zcaudate/hara, whose rationale is explained here). For now, it's an admittedly monolithic, though well-organized, library. I don't like the Clojure approach of "have one library that only does this one thing" because it often leads to an unhealthy amount of disunity and disorganization. Better to import/require the library and abstract it under a more universal name. If there are various implementations of the same thing, quantum abstracts it to a function which calls your desired implementation, but defaults to the most sensible one.
The "meat" of Quantum is in quantum.core.*. Among many other functions and namespaces, it includes the following:
defnt is a way of defining a strongly typed function without resorting to using the un-function-like syntax of defprotocol and/or using the tedious reify. An example of it is the following:
(defnt ^java.math.BigInteger ->big-integer
([^java.math.BigInteger x] x)
([^clojure.lang.BigInt x] (.toBigInteger x))
([#{(- number? BigInteger BigInt)} x]
(-> x long (BigInteger/valueOf))))
This will be faster than the clojure.lang.RT version (I haven't tested the example function above but similar ones, yes), because instead of doing possibly O(n) hops (instanceof checks) to dispatch on type, it does it in only O(1) with the reify version of defnt under the hood if it can determine the type of the first argument to ->big-integer, or O(log32(n)) if it can't determine the type at runtime, in which case it uses the defprotocol version. Additionally, for convenience, one can define predicates such as number? to use in the type check, which will expand to the set #{int, long, float, double, Integer, Long, BigDecimal ...}. And then one can e.g. take the difference of that set or union it, etc. to more expressively define the set of types that are accepted in that particular arity of the function. All the expansion of type predicates happens at compile time.
As another example, if three entirely unrelated objects all use .quit to free their resources and you're tired of type-hinting to avoid reflection, you could just abstract that to, say:
(defnt free
([#{UnrelatedClass0 UnrelatedClass1 UnrelatedClass2} x] (.quit x))
Voila! No type hints needed anymore, and no performance hit or repetitive code with cond + instance? checks.
Sane global thread(pool) management. I was tired of core.async/go blocks hanging and me not being able to interrupt/cancel them. Also I was tired of having them all run on one threadpool.
Easy type conversion (e.g. among InputStream, ByteBuffer, CharSequence, String, File etc.). Much of the code is adapted from ztellman/byte-streams into a defnt context (as opposed to the memoized graph-walking of byte-streams/convert, which is quite admittedly quite innovative, as is characteristic of Zach Tellman). Other conversions have been added to make it more universal and less restricted to variations of byte streams and buffers.
Abstractions for cryptography functions including bcrypt, scrypt, etc., and also so you don't have to remember every time how those annoying javax.crypto.* namespaces work. Similar rationale as ztellman/byte-streams — a cryptographic Rosetta Stone of sorts.
Reducers operations in quantum.core.reducers (exposed via quantum.core.collections) so you can do chains of operations like:
(->> [1 2 [1 1] 5 [6 7 [1 1]]]
(filter+ vector?)
flatten-1+
frequencies+
(into []))
without creating intermediate sequences or incurring the cost of laziness. This has already been accomplished in clojure.core.reducers, so it's not a new idea, but it does add various reducer functions to the existing clojure.core.reducers ones.
Easy logging which uses macros + conditionals so you don't incur the cost of always performing whatever the arguments are to your logging function even if you're not enabling that logging level.
(Alpha-quality) language translation from e.g. Clojure to Java, Java to Clojure, Clojure to C#, Java to C# by way of Clojure, Clojure to (raw) JavaScript, etc. You might use it when you want to write something out and test it in Clojure but need to deliver the code in a different language.
Conversion from any unit of measurement to any other (compatible) unit of measurement (at least the ones I've added so far). It does this by walking a graph at compile time (like the one in src/cljc/quantum/measure/length.cljc) and replacing the conversion inline if sufficiently short. For instance, one can write (convert :parsecs :ft) instead of having to remember what the parsecs-to-feet conversion is. I believe I've also added runtime support for this so you can dynamically change the unit keywords.
UI-related things, specifically HTML5 and JavaFX so far. It needs more work, but it's served me well fo e.g. revision management in JavaFX (via the undo! and redo! functions especially), as well as for easier creation of JavaFX nodes via a declarative Hiccup-like syntax as opposed to the standard procedural one.
It uses clojure.reducers wherever possible to maximize performance, but falls back on clojure.core collections functions when laziness is required or desired, or when the overhead of creating an anonymous function within reduce is greater than the overhead eliminated by using reduce instead of [first and [next or rest] within loop/recur].
It uses transients and/or mutable local variables wherever a performance boost can be achieved by such.
This is a work in progress and, as such, is currently in no way as rich and polished a library as I hope it to ultimately be. When you find bugs (and you will), please report the issue(s) and/or create a pull request.
I've been coding in Clojure for five years, but expect some rustiness. Expect some gems as well.
I welcome any and all contributions, comments, thoughts, suggestions, and/or feedback you may wish to provide. This endeavor towards greater efficiency in thought, processing power, and time spent programming should be a joint one.
TL;DR: It's much easier and has few (if any) real disadvantages.
Appeal to authority: Google (the whole company), React, OpenJDK >= version 10, Babel, Meteor, and Ember follow this pattern.
Pithy quote: "Juggling a multimodule project over multiple repos is like trying to teach a newborn baby how to ride a bike."
See here for further justification.
- When two dependencies A and B have a conflicting common dependency C, try to explicitly declare C and its version in the project.clj and annotate the conflict.
Copyright © 2018 Alex Gunnarson
Distributed under the Creative Commons Attribution-ShareAlike 3.0 US (CC-SA) license.
For normal people who don't speak legalese, this means:
- You can modify the code
- You can distribute the code
- You can use the code for commercial purposes
But:
- You have to give credit / attribute the code to the author (Alex Gunnarson)
- You have to state the name of the author (Alex Gunnarson) and the title of this project in the attribution
- You have to say in the attribution that you modified the code if you did
Pretty easy, common-sense, decent stuff! Thanks :)
For more information, see tldrlegal's summary of the CC-SA license.