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

Proof-Oriented Programming

I’ve been exploring ways to leverage type-driven development and value constraints for better testing. Turns out this has already been done, and there is a whole category of proof-oriented programming languages.

July 22, 2022 · 2 min