16 Dialyzer and Types with Kostis Sagonas

Download Link http://mostlyerlang.files.wordpress.com/2013/10/016_dialyzer.mp3

Dialyzer is a static analysis tool created by Kostis Sagonas to check Erlang programs. It can take an Erlang Code base and perform all sorts of checks on the code to flag errors. This can include case and guard clauses that will never match, function returns that are never check, functions that don’t exist and more. Listen to us talk to Kostis about what it can do and how to use it with your project to ensure the best quality code. Dialyzer represents the output of research done by Kostis and his students at Uppsala university in Sweden.

(Note due to audio production episodes there was a delay in publishing this episode)





This entry was posted in podcast and tagged dialyzer, Programming, research, static analysis. Bookmark the permalink.

One thought on “16 Dialyzer and Types with Kostis Sagonas”

  1. Pingback: Episode 4 – Zach KessinFunctional Geekery | Functional Geekery

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. ( Log Out / Change )

Twitter picture

You are commenting using your Twitter account. ( Log Out / Change )

Facebook photo

You are commenting using your Facebook account. ( Log Out / Change )

Google+ photo

You are commenting using your Google+ account. ( Log Out / Change )

Connecting to %s