Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote)

on YouTube ↗01h 13m

" summary

A retrospective on fifteen years of using Dialyzer for static analysis of Erlang and Elixir code, covering what Dialyzer checks, how success typing and PLT-based analysis work, practical experiences integrating Dialyzer into developer workflows, and lessons learned about its strengths and limitations.

AI-written summary · about

" chapters (17)

1. 0:00Start
2. 8:56Dynamically typed languages
3. 29:37False error reports show-stopper
4. 31:01Type system to the rescue?
5. 32:51Restroom signs in the U.S.A
6. 33:15Tempting conclusion
7. 35:48The moral of all this is...
8. 38:32Type inference for defect detection
9. 39:49The basic question
10. 46:29A quick look at inferred domains
11. 49:02Function domains revisited
12. 49:26Recap
13. 50:10Two sides to the story
14. 51:39The inference algorithm (PPOP'06)
15. 56:14Two more examples
16. 58:25Module system to the rescue
17. 59:08The length example revisited