[erlang-questions] dialyzer and re(3)

[Tobias Lindahl]

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...

Tobias