[erlang-questions] dialyzer and re(3)
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)
> 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
>> 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