After writing this answer, I was inspired to try to specify Clojure's destructuring language using spec: (require '[clojure.spec :as s]) (s/def ::binding (s/or :sym ::sym :assoc ::assoc :seq ::se...

Wadler wrote an amazing paper: Propositions as Types - where he talks about the Howard-Curry correspondence, that you can check program behaviour in terms of the types of the program. (For a given ...

I could not understand the intent of clojure.spec What kind of problems does it solve? Why should we use it?

If I have defined the following record: (defrecord Person [name id]) and the following: (s/def ::name string?) (s/def ::id int?) (s/def ::person (s/keys :req-un [::name ::id])) How can I ensu...

I am following the clojure.spec guide. I understand it is possible to declare required and optional attributes when using clojure.spec/keys. I don't understand what is meant by optional. To me :op...