[erlang-questions] dialyzer and re(3)
Tue Nov 11 13:36:33 CET 2008
Paul Guyot wrote:
> While we appreciate dialyzer very much and we rely on it, we are
> somewhat disappointed by its current limitations and horrible
> slowness, especially when compared to ocaml compiler which does type
> inference and checking faster by a magnitude...
Well, that is what you get when trying to infer types in a language that
was not built for static type checking. Dialyzer came about as a way to
get some of the benefits from static typing while keeping the benefits
of dynamic typing. Dialyzer can certainly be both faster and more
accurate, but it will probably never be as fast (or prohibiting) as the
type inference/checking in ocaml.
On the other hand, if you can live with the slowness and inaccuracy of
Dialyzer, you might find a bug or two...
More information about the erlang-questions