The Wrong Question About Type Systems
After more than eight years of professional Clojure development, I still get asked the same question: "Don't you miss types?"
I recently swapped Clojure for Typescript and Go, due to a career move. But looking back at my Clojure years, I realize the question assumes a tradeoff I never experienced. It frames the choice as safety versus convenience, as if I was trading correctness for speed. The longer I think about it, the more I believe the question comes from false assumptions.
Let me explain.