Hacker News new | ask | show | jobs
by nightwolf 992 days ago
clojure.spec is explicitly not a type system:

https://clojure.org/about/spec#_expressivity_proof