[erlang-questions] Type analysis in Erlang?

Brendan Hay <>
Tue Mar 23 16:06:05 CET 2010


Not sure what you are asking if you've already investigated dialyzer? Have
you looked into using typer also?

On 23 March 2010 15:57, Guy Wiener <> wrote:

> Hello everybody,
> Is there some available tool that provides type analysis for Erlang
> (approximated, of course, since that it is an untyped language).
> Alt., is it possible to get some program analysis facts from existing
> tools,
> such as dialyzer?
>
> Thanks,
>   Guy Wiener
>


More information about the erlang-questions mailing list