In this regard, Clojure.Spec is a great feature, to me is on par of dependent type systems, but more pragmatic. There is a implementation similar from @vic for Elixir. I’m planning to experiment with it soon.
1 Like