Is Clojure Spec a dependant type system?

I recently learned of dependent type systems. I’m trying to feel out the boundaries of dependent types and came to the question: Is Clojure Spec a dependent type system?

August 5, 2022 · 2 min

Pitfalls of Spec-based Random Testing

I’ve been thinking about constrained values, and how those constraints could be used to better test our systems. Mark Seemann was gracious to think through this with me and point out some interesting conclusions.

August 1, 2022 · 4 min