[erlang-questions] dialyzer and re(3)

Paul Guyot <>
Tue Nov 11 15:48:51 CET 2008

Le 11 nov. 08 à 15:27,  a écrit :

> Message: 8
> Date: Tue, 11 Nov 2008 05:26:37 -0800 (PST)
> From: Thomas Lindgren <>
> Subject: Re: [erlang-questions] dialyzer and re(3)
> To: 
> Message-ID: <>
> Content-Type: text/plain; charset=us-ascii
>> 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...
> Sounds like you really should switch to OCaml; I've heard it's very  
> fast too. Good luck with your future endeavours.

I only mentioned ocaml as an illustration that the job of infering  
types and checking them can be much faster than what dialyzer  
currently does, which is patent for anyone who worked with ocaml.  
Tobias argued that the job is slightly different, and I trust him on  
that matter. I just wish less CPU cycles would be spent on things like  
rebuilding the PLT at each release or checking the types for our  

Each language has its pros and cons, and I don't mean to start any  
ocaml vs erlang discussion here. Dialyzer was part of our choice of  
erlang for this project, and its slowness doesn't change anything.


More information about the erlang-questions mailing list