I appreciate what clojure.spec is trying to do and think it's a good step! If this kind of thing interests you though I suggest looking beyond the code and lear

I appreciate what clojure.spec is trying to do and think it's a good step! If this kind of thing interests you though I suggest looking beyond the code and learn the mathematics -- logic, predicate calculus, and the ideas behind formal methods! It's a wonderful tool for thinking and well worth encouraging. Try looking up TLA+, Event B, Unity, etc, etc. They've been working on some neat maths and the tooling around it these days is amazing! For more hybrid language/spec approaches Agda and Idris are super fascinating.