I have put far too much effort into Dialyzer over the last year or so - and basically - I doubt it’s worth the effort.
It’s not as easy to use as type inference in statically typed functional languages, and you don’t get as much bang for the buck with its super optimistic success typing.
Perhaps some sort of saner alternative would be an option for Elixir 2.0?
I often think Clojure is the closest language to Elixir - Clojure spec and gradual typing sound v interesting.
Thoughts? Perhaps Dialyzer is better than I give credit, would like to hear some good counter-arguments ; )