January 2013
Beginner to intermediate
624 pages
17h 18m
English
This chapter focuses on Dialyzer, which is a very effective tool when it comes to analyzing Erlang code. It’s used to find all kinds of discrepancies, such as code that will never be executed, but its main use is to detect type errors in your Erlang code base. We’ll look at why Dialyzer was created, the guiding principles behind it, and its capabilities to find type-related errors. Of course, we’ll also work through a few examples of Dialyzer in use.
Our first step is to create Dialyzer’s persistent lookup table (PLT), which is a compilation of all the details Dialyzer can identify about the applications and modules that are part of your standard Erlang distribution, as well ...
Read now
Unlock full access